/dports/lang/yap/yap-6.2.2/C/ |
H A D | threads.c | 139 if (FOREIGN_ThreadHandle(wid).tdetach == MkAtomTerm(AtomTrue) || in kill_thread_engine() 475 if (!FOREIGN_ThreadHandle(tid).tdetach == MkAtomTerm(AtomTrue)) { in p_thread_join() 516 MkAtomTerm(AtomTrue); in p_thread_detach() 754 MY_ThreadHandle.texit->Entry == MkAtomTerm(AtomTrue)) { in p_thread_atexit()
|
H A D | exec.c | 243 if (a == AtomTrue || a == AtomOtherwise || a == AtomCut) in do_execute() 1709 return Yap_unify(MkAtomTerm(AtomTrue),ARG1); in p_debug_on() 1713 if (t == MkAtomTerm(AtomTrue)) in p_debug_on()
|
H A D | write.c | 726 if (Yap_GetValue(AtomPortray) == MkAtomTerm(AtomTrue)) in writeTerm() 818 if (Yap_GetValue(AtomPortray) == MkAtomTerm(AtomTrue) || EX) in writeTerm()
|
H A D | cdmgr.c | 1630 Yap_PutValue(AtomAbol, MkAtomTerm(AtomTrue)); in retract_all() 2046 if (a1 == MkAtomTerm(AtomTrue)) in is_fact() 2616 Yap_PutValue(AtomAbol, MkAtomTerm(AtomTrue)); in purge_clauses() 3885 pp = RepPredProp(Yap_GetPredPropByAtom(AtomTrue,CurrentModule)); in found_ystop() 4427 if (!Yap_unify_constant(tb, MkAtomTerm(AtomTrue)) || in fetch_next_lu_clause() 4573 if (!Yap_unify_constant(tb, MkAtomTerm(AtomTrue)) || in fetch_next_lu_clause_erase() 4885 if (!Yap_unify(tb, MkAtomTerm(AtomTrue)) || in fetch_next_static_clause() 4911 if (!Yap_unify(tb, MkAtomTerm(AtomTrue)) || in fetch_next_static_clause() 4990 Yap_unify(tb, MkAtomTerm(AtomTrue)) && in fetch_next_static_clause()
|
H A D | compiler.c | 1363 return(t == MkAtomTerm(AtomTrue)); in IsTrueGoal() 1462 else if (atom == AtomTrue || atom == AtomOtherwise) { 1709 c_goal(MkAtomTerm(AtomTrue), mod, cglobs); 1758 c_goal(MkAtomTerm(AtomTrue), mod, cglobs); 3456 head = my_clause, body = MkAtomTerm(AtomTrue); 3488 cglobs.is_a_fact = (body == MkAtomTerm(AtomTrue));
|
H A D | sysbits.c | 1710 Yap_PutValue(AtomAlarm, MkAtomTerm(AtomTrue)); 1728 Yap_PutValue(AtomAlarm, MkAtomTerm(AtomTrue)); 2559 Yap_PutValue(AtomAlarm, MkAtomTerm(AtomTrue));
|
H A D | c_interface.c | 2359 Term term_true = YAP_MkAtomTerm(AtomTrue); in do_bootfile() 3266 Yap_PutValue(AtomGc, MkAtomTerm(AtomTrue)); in YAP_SetYAPFlag()
|
H A D | iopreds.c | 2770 ta[1] = MkAtomTerm(AtomTrue); 4579 if (AtomOfTerm (Deref (ARG1)) == AtomTrue) {
|
H A D | amasm.c | 1612 PredEntry *pe = RepPredProp(Yap_GetPredPropByAtom(AtomTrue,0)); in a_empty_call()
|
H A D | absmi.c | 591 start[0] = (CELL)Yap_MkFunctor(AtomTrue, tot); in push_live_regs() 2771 SREG = (CELL *)RepPredProp(Yap_GetPredPropByAtom(AtomTrue,0));
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_block.erl | 64 {atom,true}=AtomTrue,{f,_}=BrTrue]}}|Is]=Is0], 71 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc]) 75 {list,[{atom,true}=AtomTrue,{f,_}=BrTrue, 83 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc])
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_block.erl | 64 {atom,true}=AtomTrue,{f,_}=BrTrue]}}|Is]=Is0], 71 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc]) 75 {list,[{atom,true}=AtomTrue,{f,_}=BrTrue, 83 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc])
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_block.erl | 64 {atom,true}=AtomTrue,{f,_}=BrTrue]}}|Is]=Is0], 71 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc]) 75 {list,[{atom,true}=AtomTrue,{f,_}=BrTrue, 83 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc])
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_block.erl | 64 {atom,true}=AtomTrue,{f,_}=BrTrue]}}|Is]=Is0], 71 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc]) 75 {list,[{atom,true}=AtomTrue,{f,_}=BrTrue, 83 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc])
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_block.erl | 64 {atom,true}=AtomTrue,{f,_}=BrTrue]}}|Is]=Is0], 71 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc]) 75 {list,[{atom,true}=AtomTrue,{f,_}=BrTrue, 83 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc])
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_block.erl | 64 {atom,true}=AtomTrue,{f,_}=BrTrue]}}|Is]=Is0], 71 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc]) 75 {list,[{atom,true}=AtomTrue,{f,_}=BrTrue, 83 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc])
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/options1_SUITE_data/src/compiler/ |
H A D | beam_block.erl | 64 {atom,true}=AtomTrue,{f,_}=BrTrue]}}|Is]=Is0], 71 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc]) 75 {list,[{atom,true}=AtomTrue,{f,_}=BrTrue, 83 {test,is_eq_exact,BrFalse,[Reg,AtomTrue]}|Acc])
|
/dports/lang/yap/yap-6.2.2/H/ |
H A D | ratoms.h | 294 AtomTrue = AtomAdjust(AtomTrue);
|
H A D | ihstruct.h | 120 Yap_heap_regs->pred_true = RepPredProp(PredPropByAtom(AtomTrue,PROLOG_MODULE));
|
H A D | iatoms.h | 294 AtomTrue = Yap_LookupAtom("true");
|
H A D | tatoms.h | 584 #define AtomTrue Yap_heap_regs->AtomTrue_ macro
|
/dports/lang/yap/yap-6.2.2/misc/ |
H A D | HEAPFIELDS | 128 struct pred_entry *pred_true PredTrue MkPred AtomTrue 0 PROLOG_MODULE
|
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/ |
H A D | swi.c | 678 if (at == AtomTrue) { in PL_get_bool() 1910 return MkAtomTerm(AtomTrue); in MkBoolTerm()
|