Searched refs:blockerTerms (Results 1 – 1 of 1) sorted by relevance
77 Vector<Term*> blockerTerms; in metaGetVariant2() local79 metaLevel->downTermList(subject->getArgument(2), m, blockerTerms)) in metaGetVariant2()85 FOR_EACH_CONST(i, Vector<Term*>, blockerTerms) in metaGetVariant2()188 Vector<Term*> blockerTerms; in metaVariantUnify2() local189 if (!metaLevel->downTermList(subject->getArgument(2), m, blockerTerms)) in metaVariantUnify2()203 FOR_EACH_CONST(i, Vector<Term*>, blockerTerms) in metaVariantUnify2()