Searched refs:hasConsistentState (Results 1 – 7 of 7) sorted by relevance
79 ASSERT_TRUE(mat.hasConsistentState()); in TEST()87 ASSERT_TRUE(mat.hasConsistentState()); in TEST()104 ASSERT_TRUE(mat.hasConsistentState()); in TEST()119 ASSERT_TRUE(mat.hasConsistentState()); in TEST()121 ASSERT_TRUE(mat.hasConsistentState()); in TEST()123 ASSERT_TRUE(mat.hasConsistentState()); in TEST()134 ASSERT_TRUE(mat.hasConsistentState()); in TEST()142 ASSERT_TRUE(mat.hasConsistentState()); in TEST()157 ASSERT_TRUE(mat.hasConsistentState()); in TEST()159 ASSERT_TRUE(mat.hasConsistentState()); in TEST()[all …]
180 bool hasConsistentState() const;
678 virtual bool hasConsistentState() const;
438 bool IntegerRelation::hasConsistentState() const { in hasConsistentState() function in IntegerRelation439 if (!inequalities.hasConsistentState()) in hasConsistentState()441 if (!equalities.hasConsistentState()) in hasConsistentState()492 assert(hasConsistentState()); in hasInvalidConstraint()656 assert(hasConsistentState()); in isEmptyByGCDTest()974 assert(hasConsistentState()); in gaussianEliminateVars()1743 assert(hasConsistentState()); in fourierMotzkinEliminate()2243 assert(hasConsistentState()); in print()
260 bool Matrix::hasConsistentState() const { in hasConsistentState() function in Matrix
470 bool hasConsistentState() const override;
709 bool FlatAffineValueConstraints::hasConsistentState() const { in hasConsistentState() function in FlatAffineValueConstraints710 return IntegerPolyhedron::hasConsistentState() && in hasConsistentState()