Searched refs:MakeTableVarTerm (Results 1 – 2 of 2) sorted by relevance
852 t = MakeTableVarTerm(VarIndexOfTerm(t));859 t = MakeTableVarTerm(subs_arity);1058 t = MakeTableVarTerm(VarIndexOfTerm(t));1065 t = MakeTableVarTerm(vars_arity);
111 #define MakeTableVarTerm(INDEX) ((INDEX) << NumberOfLowTagBits) macro149 #define SUBGOAL_TRIE_HASH_MARK ((Term) MakeTableVarTerm(MAX_TABLE_VARS))153 #define GLOBAL_TRIE_HASH_MARK ((Term) MakeTableVarTerm(MAX_TABLE_VARS))