00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 #ifndef PPL_Linear_Expression_inlines_hh
00025 #define PPL_Linear_Expression_inlines_hh 1
00026
00027 #include "Variable.defs.hh"
00028 #include "Coefficient.defs.hh"
00029 #include <stdexcept>
00030
00031 namespace Parma_Polyhedra_Library {
00032
00033 inline dimension_type
00034 Linear_Expression::max_space_dimension() {
00035 return Linear_Row::max_space_dimension();
00036 }
00037
00038 inline
00039 Linear_Expression::Linear_Expression()
00040 : Linear_Row(1, Linear_Row::Flags()) {
00041 }
00042
00043 inline
00044 Linear_Expression::Linear_Expression(dimension_type sz, bool)
00045 : Linear_Row(sz, Linear_Row::Flags()) {
00046 }
00047
00048 inline
00049 Linear_Expression::Linear_Expression(const Linear_Expression& e)
00050 : Linear_Row(e) {
00051 }
00052
00053 inline
00054 Linear_Expression::~Linear_Expression() {
00055 }
00056
00057 inline
00058 Linear_Expression::Linear_Expression(const Linear_Expression& e,
00059 dimension_type sz)
00060 : Linear_Row(e, sz, sz) {
00061 }
00062
00063 inline
00064 Linear_Expression::Linear_Expression(Coefficient_traits::const_reference n)
00065 : Linear_Row(1, Linear_Row::Flags()) {
00066 (*this)[0] = n;
00067 }
00068
00069 inline dimension_type
00070 Linear_Expression::space_dimension() const {
00071 return size() - 1;
00072 }
00073
00074 inline Coefficient_traits::const_reference
00075 Linear_Expression::coefficient(Variable v) const {
00076 if (v.space_dimension() > space_dimension())
00077 return Coefficient_zero();
00078 return Linear_Row::coefficient(v.id());
00079 }
00080
00081 inline Coefficient_traits::const_reference
00082 Linear_Expression::inhomogeneous_term() const {
00083 return Linear_Row::inhomogeneous_term();
00084 }
00085
00086 inline bool
00087 Linear_Expression::is_zero() const {
00088 return Linear_Row::is_zero();
00089 }
00090
00091 inline bool
00092 Linear_Expression::all_homogeneous_terms_are_zero() const {
00093 return Linear_Row::all_homogeneous_terms_are_zero();
00094 }
00095
00096 inline const Linear_Expression&
00097 Linear_Expression::zero() {
00098 PPL_ASSERT(zero_p != 0);
00099 return *zero_p;
00100 }
00101
00102 inline memory_size_type
00103 Linear_Expression::external_memory_in_bytes() const {
00104 return Linear_Row::external_memory_in_bytes();
00105 }
00106
00107 inline memory_size_type
00108 Linear_Expression::total_memory_in_bytes() const {
00109 return Linear_Row::total_memory_in_bytes();
00110 }
00111
00113 inline Linear_Expression
00114 operator+(const Linear_Expression& e) {
00115 return e;
00116 }
00117
00119 inline Linear_Expression
00120 operator+(const Linear_Expression& e, Coefficient_traits::const_reference n) {
00121 return n + e;
00122 }
00123
00125 inline Linear_Expression
00126 operator+(const Linear_Expression& e, const Variable v) {
00127 return v + e;
00128 }
00129
00131 inline Linear_Expression
00132 operator-(const Linear_Expression& e, Coefficient_traits::const_reference n) {
00133 return -n + e;
00134 }
00135
00137 inline Linear_Expression
00138 operator-(const Variable v, const Variable w) {
00139 return Linear_Expression(v, w);
00140 }
00141
00143 inline Linear_Expression
00144 operator*(const Linear_Expression& e, Coefficient_traits::const_reference n) {
00145 return n * e;
00146 }
00147
00149 inline Linear_Expression&
00150 operator+=(Linear_Expression& e, Coefficient_traits::const_reference n) {
00151 e[0] += n;
00152 return e;
00153 }
00154
00156 inline Linear_Expression&
00157 operator-=(Linear_Expression& e, Coefficient_traits::const_reference n) {
00158 e[0] -= n;
00159 return e;
00160 }
00161
00162 inline void
00163 Linear_Expression::swap(Linear_Expression& y) {
00164 Linear_Row::swap(y);
00165 }
00166
00167 inline void
00168 Linear_Expression::ascii_dump(std::ostream& s) const {
00169 Linear_Row::ascii_dump(s);
00170 }
00171
00172 inline bool
00173 Linear_Expression::ascii_load(std::istream& s) {
00174 return Linear_Row::ascii_load(s);
00175 }
00176
00177 }
00178
00179
00180 namespace std {
00181
00183 inline void
00184 swap(Parma_Polyhedra_Library::Linear_Expression& x,
00185 Parma_Polyhedra_Library::Linear_Expression& y) {
00186 x.swap(y);
00187 }
00188
00189 }
00190
00191 #endif // !defined(PPL_Linear_Expression_inlines_hh)