Searched refs:is_necessarily_closed_for_interfaces (Results 1 – 7 of 7) sorted by relevance
104 bool is_necessarily_closed_for_interfaces(const Polyhedron& ph);2062 ::is_necessarily_closed_for_interfaces(const Polyhedron&);
457 is_necessarily_closed_for_interfaces(const Polyhedron& ph) { in is_necessarily_closed_for_interfaces() function
47331 bool is_necessarily_closed_for_interfaces(const Polyhedron& ph);49450 ::is_necessarily_closed_for_interfaces(const Polyhedron&);50873 is_necessarily_closed_for_interfaces(const Polyhedron& ph) {
415 if (Interfaces::is_necessarily_closed_for_interfaces(*to_const(x))) {445 ` if (Interfaces::is_necessarily_closed_for_interfaces(*to_const(x))) {1213 if (Interfaces::is_necessarily_closed_for_interfaces(*to_const(x))) {
273 if (Interfaces::is_necessarily_closed_for_interfaces940 if (Interfaces::is_necessarily_closed_for_interfaces1258 if (Interfaces::is_necessarily_closed_for_interfaces
500 if (Interfaces::is_necessarily_closed_for_interfaces(*xph)) {1091 if (Interfaces::is_necessarily_closed_for_interfaces(*xlhs)) {1151 if (Interfaces::is_necessarily_closed_for_interfaces(*xlhs)) {
8548 Interfaces::is_necessarily_closed_for_interfaces.8559 Interfaces::is_necessarily_closed_for_interfaces().