Main Page   Class Hierarchy   Compound List   File List   Contact   Download   Symbolic Constraints   Examples  

cons.h

00001 #ifndef SCIL_CONS_H
00002 #define SCIL_CONS_H
00003 
00004 #include <scil/global.h>
00005 
00006 #define nil 0
00007 
00008 namespace SCIL {
00009 
00010 class cons_obj;
00011 class ABA_Constraint;
00012 class column;
00013 
00015 class cons {
00016 
00017  private:
00018   cons_obj* IS;
00019 
00020  public:
00021 
00022   cons(cons_obj* IS_) {  IS=IS_; }
00023   cons()              {  IS=nil; }
00024 
00025   ABA_Constraint* Acons_pointer();
00026 
00028   cons_obj* cons_pointer();
00029 
00030   column operator+ (column r);
00031   cons& operator=(const cons& i);
00032 
00033   bool operator< (const cons& v1) const;
00034   bool operator<= (const cons& v1) const;
00035   bool operator!= (const cons& v1) const;
00036   bool operator== (const cons& v1) const;
00037   bool operator> (const cons& v1) const;
00038   column operator* (double d);
00039 
00041   double rhs();
00042 
00044   cons_sense sense();
00045 };
00046 
00047 
00048 };
00049 
00050 #endif
Generated on Mon Mar 28 22:03:47 2011 for SCIL by  doxygen 1.6.3