Home
last modified time | relevance | path

Searched defs:gtRelation (Results 1 – 3 of 3) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortBdds.hh60 Bdd gtRelation; // bdd for relation s1 valid /\ s2 valid /\ s1 > s2 member
/dports/lang/maude/maude-2.7.1/src/Higher/
H A DunificationProblem.cc395 Bdd gtRelation = sortBdds->getGtRelation(sort->component()->getIndexWithinModule()); in findOrderSortedUnifiers() local
H A DnarrowingUnificationProblem.cc459 Bdd gtRelation = sortBdds->getGtRelation(sort->component()->getIndexWithinModule()); in findOrderSortedUnifiers() local