00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #ifndef PPL_Poly_Gen_Relation_defs_hh
00024 #define PPL_Poly_Gen_Relation_defs_hh 1
00025
00026 #include "Poly_Gen_Relation.types.hh"
00027 #include "globals.defs.hh"
00028 #include <iosfwd>
00029
00030 namespace Parma_Polyhedra_Library {
00031
00032
00033
00035
00036 bool operator==(const Poly_Gen_Relation& x, const Poly_Gen_Relation& y);
00037
00039
00040 bool operator!=(const Poly_Gen_Relation& x, const Poly_Gen_Relation& y);
00041
00043
00044 Poly_Gen_Relation operator&&(const Poly_Gen_Relation& x,
00045 const Poly_Gen_Relation& y);
00046
00053 Poly_Gen_Relation operator-(const Poly_Gen_Relation& x,
00054 const Poly_Gen_Relation& y);
00055
00056 namespace IO_Operators {
00057
00059
00060 std::ostream& operator<<(std::ostream& s, const Poly_Gen_Relation& r);
00061
00062 }
00063
00064 }
00065
00066
00068
00072 class Parma_Polyhedra_Library::Poly_Gen_Relation {
00073 private:
00075 typedef unsigned int flags_t;
00076
00078
00079 static const flags_t NOTHING = 0U;
00080 static const flags_t SUBSUMES = 1U << 0;
00082
00084 static const flags_t EVERYTHING
00085 = SUBSUMES;
00086
00088 flags_t flags;
00089
00091 static bool implies(flags_t x, flags_t y);
00092
00094 Poly_Gen_Relation(flags_t mask);
00095
00096 friend bool
00097 Parma_Polyhedra_Library::operator==(const Poly_Gen_Relation& x,
00098 const Poly_Gen_Relation& y);
00099
00100 friend bool
00101 Parma_Polyhedra_Library::operator!=(const Poly_Gen_Relation& x,
00102 const Poly_Gen_Relation& y);
00103
00104 friend Poly_Gen_Relation
00105 Parma_Polyhedra_Library::operator&&(const Poly_Gen_Relation& x,
00106 const Poly_Gen_Relation& y);
00107
00108 friend Poly_Gen_Relation
00109 Parma_Polyhedra_Library::operator-(const Poly_Gen_Relation& x,
00110 const Poly_Gen_Relation& y);
00111
00112 friend std::ostream&
00113 Parma_Polyhedra_Library::
00114 IO_Operators::operator<<(std::ostream& s, const Poly_Gen_Relation& r);
00115
00116 public:
00117 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00118
00122 #endif
00123 flags_t get_flags() const;
00124
00125 public:
00127 static Poly_Gen_Relation nothing();
00128
00130 static Poly_Gen_Relation subsumes();
00131
00132 PPL_OUTPUT_DECLARATIONS;
00133
00135 bool implies(const Poly_Gen_Relation& y) const;
00136
00138 bool OK() const;
00139 };
00140
00141 #include "Poly_Gen_Relation.inlines.hh"
00142
00143 #endif // !defined(PPL_Poly_Gen_Relation_defs_hh)