Searched refs:strictLeftLinear (Results 1 – 5 of 5) sorted by relevance
37 bool strictLeftLinear) in PigPug() argument41 strictLeftLinear(strictLeftLinear) in PigPug()53 if (!strictLeftLinear) in PigPug()204 if (!strictLeftLinear) in equate()252 if (rhsConstraint != NONE || !strictLeftLinear) in equate()567 bool ok = strictLeftLinear ? feasible() : feasibleGeneralCase(); in firstMove()590 int result = strictLeftLinear ? rhsPeel() : rhsPeelGeneralCase(); in firstMove()593 result = strictLeftLinear ? lhsPeel() : lhsPeelGeneralCase(); in firstMove()613 int result = strictLeftLinear ? lhsPeel() : lhsPeelGeneralCase(); in nextMove()650 if (!strictLeftLinear) in completed()[all …]
72 bool strictLeftLinear = chooseEquation(); in findNextPartialSolution() local75 makePigPug(strictLeftLinear); in findNextPartialSolution()229 WordLevel::makePigPug(bool strictLeftLinear) in makePigPug() argument233 pigPug = new PigPug(e.lhs, e.rhs, constraintMap, nrVariables - 1, nrVariables, strictLeftLinear); in makePigPug()
71 bool strictLeftLinear);214 const bool strictLeftLinear; member in PigPug
103 void makePigPug(bool strictLeftLinear);
122 (findNextPartialSolution): pass strictLeftLinear flag to makePigPug()126 * wordLevel.cc (makePigPug): take and pass strictLeftLinear flag128 * pigPug.cc: use strictLeftLinear flag rather than using depthBound133 const; made depthBound non-const; added strictLeftLinear; updated