Searched refs:makeLastConsequent (Results 1 – 4 of 4) sorted by relevance
145 void makeLastConsequent();
123 void FarkasConflictBuilder::makeLastConsequent(){ in makeLastConsequent() function in CVC4::theory::arith::FarkasConflictBuilder
807 d_conflictBuilder->makeLastConsequent(); in generateSOIConflict()
747 fcs.makeLastConsequent(); in minimallyWeakConflict()