Searched refs:strongly_minimize_constraints (Results 1 – 6 of 6) sorted by relevance
2394 bool strongly_minimize_constraints() const;
88 y.strongly_minimize_constraints(); in select_H79_constraints()
132 strongly_minimize_constraints(); in minimized_constraints()593 strongly_minimize_constraints(); in is_topologically_closed()
1148 PPL::Polyhedron::strongly_minimize_constraints() const { in strongly_minimize_constraints() function in PPL::Polyhedron
49782 bool strongly_minimize_constraints() const;
82377 Polyhedron::strongly_minimize_constraints(), corrected the bug84761 Polyhedron::strongly_minimize_constraints() and84770 in Polyhedron::strongly_minimize_constraints(). The test88760 strongly_minimize_constraints() whereby sat_c was declared88954 strongly_minimize(), strongly_minimize_constraints() and89048 strongly_minimize_constraints(), corrected handling of the sorted