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

implicator.h

00001 #ifndef SCIL_IMPLICATOR_H
00002 #define SCIL_IMPLICATOR_H
00003 
00004 namespace SCIL {
00005 
00006 class subproblem;
00007 class var;
00008 
00009 class implicator {
00010  public:
00011   implicator(){};
00012 
00013   //fix is true when variables will be fixed, false when they will be set
00014   virtual void implicate(subproblem& S, std::list< std::pair<var, double> >& fix_vars, bool fix) {
00015     return;
00016   }
00017 
00018   virtual ~implicator() {};
00019 };
00020 
00021 };
00022 
00023 #endif
Generated on Mon Mar 28 22:03:48 2011 for SCIL by  doxygen 1.6.3