Searched refs:FarkasConflictBuilder (Results 1 – 6 of 6) sorted by relevance
69 FarkasConflictBuilder::FarkasConflictBuilder() in FarkasConflictBuilder() function in CVC4::theory::arith::FarkasConflictBuilder78 bool FarkasConflictBuilder::underConstruction() const{ in underConstruction()82 bool FarkasConflictBuilder::consequentIsSet() const{ in consequentIsSet()86 void FarkasConflictBuilder::reset(){ in reset()95 void FarkasConflictBuilder::addConstraint(ConstraintCP c, const Rational& fc){ in addConstraint()113 void FarkasConflictBuilder::addConstraint(ConstraintCP c, const Rational& fc, const Rational& mult){ in addConstraint()123 void FarkasConflictBuilder::makeLastConsequent(){ in makeLastConsequent()144 ConstraintCP FarkasConflictBuilder::commitConflict(){ in commitConflict()
114 class FarkasConflictBuilder {125 FarkasConflictBuilder();
620 …ConstraintCP minimallyWeakConflict(bool aboveUpper, ArithVar basicVar, FarkasConflictBuilder& rc) …627 …inline ConstraintCP generateConflictAboveUpperBound(ArithVar conflictVar, FarkasConflictBuilder& r… in generateConflictAboveUpperBound()631 …inline ConstraintCP generateConflictBelowLowerBound(ArithVar conflictVar, FarkasConflictBuilder& r… in generateConflictBelowLowerBound()
110 FarkasConflictBuilder* d_conflictBuilder;
50 d_conflictBuilder = new FarkasConflictBuilder(); in SimplexDecisionProcedure()
711 …Module::minimallyWeakConflict(bool aboveUpper, ArithVar basicVar, FarkasConflictBuilder& fcs) cons… in minimallyWeakConflict()