Searched defs:a_true (Results 1 – 5 of 5) sorted by relevance
86 bool a_true = a.is_true (); in evaluate() local201 bool a_true = a.is_true (); in evaluate() local
17 def check_initialization(mod, init, a_true, Pinf_true, Pstar_true): argument
33 a_true = +1, // yes, it's available enumerator
178 Prolog_atom a_true; variable