Home
last modified time | relevance | path

Searched refs:AtomTrue (Results 1 – 23 of 23) sorted by relevance

/dports/lang/yap/yap-6.2.2/C/
H A Dthreads.c139 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 Dexec.c243 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 Dwrite.c726 if (Yap_GetValue(AtomPortray) == MkAtomTerm(AtomTrue)) in writeTerm()
818 if (Yap_GetValue(AtomPortray) == MkAtomTerm(AtomTrue) || EX) in writeTerm()
H A Dcdmgr.c1630 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 Dcompiler.c1363 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 Dsysbits.c1710 Yap_PutValue(AtomAlarm, MkAtomTerm(AtomTrue));
1728 Yap_PutValue(AtomAlarm, MkAtomTerm(AtomTrue));
2559 Yap_PutValue(AtomAlarm, MkAtomTerm(AtomTrue));
H A Dc_interface.c2359 Term term_true = YAP_MkAtomTerm(AtomTrue); in do_bootfile()
3266 Yap_PutValue(AtomGc, MkAtomTerm(AtomTrue)); in YAP_SetYAPFlag()
H A Diopreds.c2770 ta[1] = MkAtomTerm(AtomTrue);
4579 if (AtomOfTerm (Deref (ARG1)) == AtomTrue) {
H A Damasm.c1612 PredEntry *pe = RepPredProp(Yap_GetPredPropByAtom(AtomTrue,0)); in a_empty_call()
H A Dabsmi.c591 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 Dbeam_block.erl64 {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 Dbeam_block.erl64 {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 Dbeam_block.erl64 {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 Dbeam_block.erl64 {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 Dbeam_block.erl64 {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 Dbeam_block.erl64 {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 Dbeam_block.erl64 {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 Dratoms.h294 AtomTrue = AtomAdjust(AtomTrue);
H A Dihstruct.h120 Yap_heap_regs->pred_true = RepPredProp(PredPropByAtom(AtomTrue,PROLOG_MODULE));
H A Diatoms.h294 AtomTrue = Yap_LookupAtom("true");
H A Dtatoms.h584 #define AtomTrue Yap_heap_regs->AtomTrue_ macro
/dports/lang/yap/yap-6.2.2/misc/
H A DHEAPFIELDS128 struct pred_entry *pred_true PredTrue MkPred AtomTrue 0 PROLOG_MODULE
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/
H A Dswi.c678 if (at == AtomTrue) { in PL_get_bool()
1910 return MkAtomTerm(AtomTrue); in MkBoolTerm()