Home
last modified time | relevance | path

Searched refs:getLeqRelation (Results 1 – 3 of 3) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortBdds.hh42 Bdd getLeqRelation(int sortIndex) const;
101 SortBdds::getLeqRelation(int sortIndex) const in getLeqRelation() function in SortBdds
H A DsortBdds.cc242 Bdd leqRelation = bdd_replace(getLeqRelation(sort->getIndexWithinModule()), varMap); in getRemappedLeqRelation()
266 Bdd result = bdd_veccompose(getLeqRelation(sort->getIndexWithinModule()), argMap); in applyLeqRelation()
H A DChangeLog1645 (getLeqRelation): added