Searched defs:gtRelation (Results 1 – 3 of 3) sorted by relevance
60 Bdd gtRelation; // bdd for relation s1 valid /\ s2 valid /\ s1 > s2 member
395 Bdd gtRelation = sortBdds->getGtRelation(sort->component()->getIndexWithinModule()); in findOrderSortedUnifiers() local
459 Bdd gtRelation = sortBdds->getGtRelation(sort->component()->getIndexWithinModule()); in findOrderSortedUnifiers() local