Home
last modified time | relevance | path

Searched refs:test_strongly_closed (Results 1 – 4 of 4) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DOg_Status_inlines.hh108 Octagonal_Shape<T>::Status::test_strongly_closed() const { in test_strongly_closed() function in Parma_Polyhedra_Library::Octagonal_Shape::Status
195 << (test_strongly_closed() ? yes : no) << strong_closed in ascii_dump()
H A DOg_Status_idefs.hh60 bool test_strongly_closed() const;
H A DOctagonal_Shape_inlines.hh72 return status.test_strongly_closed(); in marked_strongly_closed()
H A Dppl.hh.dist69149 bool test_strongly_closed() const;
69685 Octagonal_Shape<T>::Status::test_strongly_closed() const {
69772 << (test_strongly_closed() ? yes : no) << strong_closed
70223 return status.test_strongly_closed();