Searched refs:can_have_something_pending (Results 1 – 7 of 7) sorted by relevance
1441 const bool has_pending = can_have_something_pending(); in add_generator()1581 const bool adding_pending = can_have_something_pending(); in add_recycled_constraints()1670 if (can_have_something_pending()) { in add_recycled_generators()1824 const bool adding_pending = can_have_something_pending(); in refine_with_constraints()1926 if (can_have_something_pending()) { in unconstrain()1967 if (can_have_something_pending()) { in unconstrain()2035 if (x.can_have_something_pending()) { in intersection_assign()2623 if (x.can_have_something_pending()) { in poly_hull_assign()3712 if (x.can_have_something_pending()) { in time_elapse_assign()3871 if (can_have_something_pending()) { in topological_closure_assign()
241 if (can_have_something_pending()) { in concatenate_assign()
180 Polyhedron::can_have_something_pending() const { in can_have_something_pending() function in Parma_Polyhedra_Library::Polyhedron
2116 bool can_have_something_pending() const;
1454 const bool adding_pending = can_have_something_pending(); in refine_no_check()
49504 bool can_have_something_pending() const;50596 Polyhedron::can_have_something_pending() const {
82908 the method Polyhedron::can_have_something_pending(). Considered