Searched refs:hasConsistentState (Results 1 – 2 of 2) sorted by relevance
775 bool FlatAffineConstraints::hasConsistentState() const { in hasConsistentState() function in FlatAffineConstraints795 assert(hasConsistentState()); in hasInvalidConstraint()1022 assert(hasConsistentState()); in isEmptyByGCDTest()1117 assert(hasConsistentState()); in gaussianEliminateIds()2339 assert(hasConsistentState()); in print()2528 assert(hasConsistentState()); in FourierMotzkinEliminate()
580 bool hasConsistentState() const;