Home
last modified time | relevance | path

Searched refs:consR (Results 1 – 2 of 2) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/ferret-1.0.2/YAPB++/source/search/
H A Dsearch.hpp144 const std::vector<AbstractConstraint*>& consR, in doCosetSearch() argument
149 (void)consR; in doCosetSearch()
/dports/math/gap/gap-4.11.0/pkg/ferret-1.0.2/src/
H A Dcppmapper.cc231 std::vector<AbstractConstraint*> consR = readNestedConstraints(p, conlistR); in cosetSolver() local
233 SolutionStore ss = doCosetSearch(&p, consCommon, consL, consR, so); in cosetSolver()