Home
last modified time | relevance | path

Searched defs:getInitialIdeal (Results 1 – 2 of 2) sorted by relevance

/dports/math/frobby/frobby-0.9.1/src/
H A DSatBinomIdeal.cpp117 void SatBinomIdeal::getInitialIdeal(BigIdeal& ideal) const { in getInitialIdeal() function in SatBinomIdeal
H A DLatticeAlgs.h187 void getInitialIdeal(BigIdeal& ideal) const { in getInitialIdeal() function