00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032 #ifndef __CONSTRAINTBUILDER_H
00033 #define __CONSTRAINTBUILDER_H
00034
00035 #include "Expr.h"
00036 #include <list>
00037
00038 namespace Modelib {
00039
00040 class ostream;
00041
00042
00044
00056 class ConstraintBuilder
00057 {
00058 public:
00060 enum Operateur {EGAL=0,DIFFERENT,INFERIEUR,SUPERIEUR,INFSTRICT,SUPSTRICT};
00061
00062 protected:
00063 std::list<Expr> expressions;
00064 std::list<Operateur> operateurs;
00065 bool isBound;
00066
00067 bool CheckIfIsBound();
00068 void Add(Operateur,const std::list<Expr> &,const std::list<Operateur> &);
00069
00070 friend class Model;
00071 friend std::ostream & operator<< (std::ostream & flux, const ConstraintBuilder & c);
00072
00073 public:
00075 ConstraintBuilder(): isBound(false) {}
00076 ConstraintBuilder( const Expr & , ConstraintBuilder::Operateur , const Expr &);
00078 ConstraintBuilder(const ConstraintBuilder & c) { *this = c; }
00080 ConstraintBuilder & operator= ( const ConstraintBuilder & _c)
00081 {
00082 if( this != &_c )
00083 {
00084 isBound = _c.isBound;
00085 expressions = _c.expressions;
00086 operateurs = _c.operateurs;
00087 }
00088 return *this;
00089 }
00091 inline bool IsBound() const { return isBound;}
00092
00093
00094 ConstraintBuilder & operator== ( const ConstraintBuilder & );
00095 ConstraintBuilder & operator!= ( const ConstraintBuilder & );
00096 ConstraintBuilder & operator<= ( const ConstraintBuilder & );
00097 ConstraintBuilder & operator>= ( const ConstraintBuilder & );
00098 ConstraintBuilder & operator< ( const ConstraintBuilder & );
00099 ConstraintBuilder & operator> ( const ConstraintBuilder & );
00100
00101
00102 ConstraintBuilder & operator== ( const Expr & );
00103 ConstraintBuilder & operator!= ( const Expr & );
00104 ConstraintBuilder & operator<= ( const Expr & );
00105 ConstraintBuilder & operator>= ( const Expr & );
00106 ConstraintBuilder & operator< ( const Expr & );
00107 ConstraintBuilder & operator> ( const Expr & );
00108
00109 ~ConstraintBuilder() {}
00110 };
00111
00112
00113 ConstraintBuilder operator== ( const Expr &, const Expr & );
00114 ConstraintBuilder operator!= ( const Expr &, const Expr & );
00115 ConstraintBuilder operator<= ( const Expr &, const Expr & );
00116 ConstraintBuilder operator>= ( const Expr &, const Expr & );
00117 ConstraintBuilder operator< ( const Expr &, const Expr & );
00118 ConstraintBuilder operator> ( const Expr &, const Expr & );
00119
00120 std::ostream & operator<< (std::ostream & flux,const ConstraintBuilder & c);
00121
00122 }
00123
00124 #endif