qboolfunction.h

#ifndef QBOOLFUNCTION_H
#define QBOOLFUNCTION_H

#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/adjacency_matrix.hpp>
#include <boost/graph/graph_traits.hpp>
#include <scil/core/boolfunction.h>
#include <scil/core/qelement.h>

namespace SCIL {

using namespace boost;

template <typename Graph>
class qboolfunction : public qelement<Graph> {
      private:
         boolfunction* bf;
         //factors are used for seperation-graph calculation
         //factor1: -0 op 0 + 0 op 1 + 1 op 0 - 1 op 1
         double factor1;
         //factor2: -0 op 0 - 0 op 1 + 1 op 0 + 1 op 1
         double factor2;
         //factor2: -0 op 0 + 0 op 1 - 1 op 0 + 1 op 1
         double factor3;

         //calculates factor1 to factor3
         void cal_factors();

      public:
         //the trivial default constructor, everything undefined
         qboolfunction() : bf(NULL){
            this->l = NULL;
            this->r = NULL;
            this->maximal = true;
            this->basic = false;
            this->sg_node = NULL;
            this->checkGraphConcepts();
         }

         //construct a qboolfunction from a boolfunction
         qboolfunction(boolfunction* _bf)
            : bf(_bf) {
            this->l = NULL;
            this->r = NULL;
            this->maximal = true;
            this->basic = false;
            this->sg_node = NULL;
            this->checkGraphConcepts();
            cal_factors();
            }


         //return the boolfunction itself
         boolfunction* getBoolfunction() const {
            return bf;
         }

         //set the boolfunction
         void setBoolfunction(boolfunction* _bf) {
            bf = _bf;
            cal_factors();
            return;
         }

         row get_linVar();

         //the linear transformations
         virtual row trans();
         virtual row transLeft();
         virtual row transRight();

         void linearize(ILP_Problem& IP);


         //output the variables making up the boolfunction (if BOOL_INST_DEBUG)
         virtual void printName();
   };

}

#include "../../../src/core/qboolfunction.cc"
#endif

---