Home
last modified time | relevance | path

Searched refs:makeVariableVector (Results 1 – 4 of 4) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortBdds.hh49 …void makeVariableVector(int firstVariable, int nrVariables, Vector<Bdd>& vec) const; // might de…
H A DsortBdds.cc158 SortBdds::makeVariableVector(int firstVariable, int nrVariables, Vector<Bdd>& vec) const in makeVariableVector() function in SortBdds
H A DChangeLog1090 * sortBdds.cc (makeVariableVector): use bdd_ithvar() in place of
1598 * sortBdds.cc (makeVariableVector): added
1600 * sortBdds.hh (class SortBdds): added decl for makeVariableVector()
/dports/lang/maude/maude-2.7.1/src/Variable/
H A DvariableSymbol.cc111 sortBdds.makeVariableVector(firstVariable, nrVariables, generalizedSort); in computeGeneralizedSort()