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