bool_inst.h

#ifndef BOOL_INST_H
#define BOOL_INST_H

#include<scil/core/boolfunction.h>
#include<scil/core/nonlinear_inst.h>
#include<scil/core/qboolfunction.h>


namespace SCIL{
  class bool_split_strategy {
      public:
         bool_split_strategy(){}
         virtual bool split(boolfunction* bToSplit, boolfunction*& b1, boolfunction*& b2){}
         virtual ~bool_split_strategy(){}
   };

   class bool_score_split : public bool_split_strategy {
      private:
         std::vector<std::vector<int> > scoreMatrix;
         std::map<var, int> varIndex;
      public:
         bool_score_split(std::list<boolfunction*> &bflist);
         bool split(boolfunction* bToSplit, boolfunction*& b1, boolfunction*& b2);
   };

   class bool_simple_split : public bool_split_strategy {
      public:
         bool_simple_split() {}
         bool split(boolfunction* bToSplit, boolfunction*& b1, boolfunction*& b2);
   };


  class bool_inst : public nonlinear_inst {

     private:
        bool_split_strategy* splitStrategy;

        void decompose(std::list<boolfunction*>& bfList, ILP_Problem& IP);

        void linearize(ILP_Problem& IP);
     public:
        bool_inst(std::list<boolfunction*>& bfList, ILP_Problem& IP, bool_split_strategy* spst);

        virtual status feasible(solution& S);

        ~bool_inst();
  };
}
#endif

---