Searched refs:FunctorConsistencyError (Results 1 – 4 of 4) sorted by relevance
338 FunctorConsistencyError = FuncAdjust(FunctorConsistencyError);
338 FunctorConsistencyError = Yap_MkFunctor(AtomConsistencyError,1);
672 #define FunctorConsistencyError Yap_heap_regs->FunctorConsistencyError_ macro
557 nt[0] = Yap_MkApplTerm(FunctorConsistencyError, 1, ti); in Yap_Error()