Searched refs:extract_set (Results 1 – 4 of 4) sorted by relevance
1622 inline isl::checked::set extract_set(const isl::checked::space &space) const;2655 inline isl::checked::set extract_set(const isl::checked::space &space) const;3627 inline isl::checked::set extract_set(const isl::checked::space &space) const;4296 inline isl::checked::set extract_set(isl::checked::space space) const;8474 isl::checked::set basic_set::extract_set(const isl::checked::space &space) const in extract_set() function8476 return isl::checked::set(*this).extract_set(space); in extract_set()13122 isl::checked::set point::extract_set(const isl::checked::space &space) const in extract_set() function13124 return isl::checked::basic_set(*this).extract_set(space); in extract_set()17039 isl::checked::set set::extract_set(const isl::checked::space &space) const in extract_set() function17041 return isl::checked::union_set(*this).extract_set(space); in extract_set()[all …]
1688 inline isl::set extract_set(const isl::space &space) const;2721 inline isl::set extract_set(const isl::space &space) const;3693 inline isl::set extract_set(const isl::space &space) const;4362 inline isl::set extract_set(isl::space space) const;10086 isl::set basic_set::extract_set(const isl::space &space) const in extract_set() function10090 return isl::set(*this).extract_set(space); in extract_set()17597 isl::set point::extract_set(const isl::space &space) const in extract_set() function17601 return isl::basic_set(*this).extract_set(space); in extract_set()23682 isl::set set::extract_set(const isl::space &space) const in extract_set() function23686 return isl::union_set(*this).extract_set(space); in extract_set()[all …]
2332 inline typed::set<> extract_set(const typed::space<> &space) const;2493 inline typed::set<Domain> extract_set(const typed::space<Domain> &space) const;2661 …inline typed::set<pair<Domain, Range>> extract_set(const typed::space<pair<Domain, Range>> &space)…6954 inline typed::set<> extract_set(const typed::space<> &space) const;7111 inline typed::set<Domain> extract_set(const typed::space<Domain> &space) const;7275 …inline typed::set<pair<Domain, Range>> extract_set(const typed::space<pair<Domain, Range>> &space)…9474 inline typed::set<> extract_set(const typed::space<> &space) const;9647 inline typed::set<Domain> extract_set(const typed::space<Domain> &space) const;9829 …inline typed::set<pair<Domain, Range>> extract_set(const typed::space<pair<Domain, Range>> &space)…13835 inline typed::set<> extract_set(const typed::space<> &space) const;[all …]
10948 def extract_set(arg0, arg1): member in union_set