Searched refs:quick_equivalence_test (Results 1 – 8 of 8) sorted by relevance
2149 Three_Valued_Boolean quick_equivalence_test(const Grid& y) const;
2416 Three_Valued_Boolean quick_equivalence_test(const Polyhedron& y) const;
182 PPL::Grid::quick_equivalence_test(const Grid& y) const { in quick_equivalence_test() function in PPL::Grid
2744 switch (x.quick_equivalence_test(y)) { in operator ==()2780 if (x.quick_equivalence_test(y) == Grid::TVB_TRUE) { in contains()
3906 switch (x.quick_equivalence_test(y)) { in operator ==()3949 else if (x.quick_equivalence_test(y) == Polyhedron::TVB_TRUE) { in contains()
356 PPL::Polyhedron::quick_equivalence_test(const Polyhedron& y) const { in quick_equivalence_test() function in PPL::Polyhedron
49804 Three_Valued_Boolean quick_equivalence_test(const Polyhedron& y) const;58810 Three_Valued_Boolean quick_equivalence_test(const Grid& y) const;
49076 Grid::quick_equivalence_test(). Move variables to a local56056 checks in quick_equivalence_test.