Searched defs:isMarkingConsistent (Results 1 – 2 of 2) sorted by relevance
808 bool isMarkingConsistent(PolynomialSet const &g) in isMarkingConsistent() function