Searched refs:AtomMaxArity (Results 1 – 4 of 4) sorted by relevance
157 AtomMaxArity = AtomAdjust(AtomMaxArity);
157 AtomMaxArity = Yap_LookupAtom("max_arity");
310 #define AtomMaxArity Yap_heap_regs->AtomMaxArity_ macro
1396 ti[0] = MkAtomTerm(AtomMaxArity); in Yap_Error()