boolfunctions.cc

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

using namespace SCIL;
using namespace std;

int main (int argc, char** argv)
{
   //Initialize the ILP Problem and add variables
   ILP_Problem IP(Optsense_Max);

   var x0 = IP.add_binary_variable(0.);
   var x1 = IP.add_binary_variable(2.);
   var x2 = IP.add_binary_variable(0.);
   var x3 = IP.add_binary_variable(0.);
   var x4 = IP.add_binary_variable(1.);

   //Creating boolfunctions
   boolfunction* bf1 = new boolfunction(x0, true);
   boolfunction* bf2 = new boolfunction(x1, x2, OR, true);
   boolfunction* bf3 = new boolfunction(x3, x4, XOR);
   boolfunction* bf4 = new boolfunction(x0, x3, IMP);
   boolfunction* bf5 = new boolfunction(x0, x4, IMP);

   //Connecting boolfunctions
   bf1->add(IMP, bf2);
   bf2->add(AND, bf3);

   cout<<"bf1: "<<bf1<<endl;
   cout<<"bf2: "<<bf2<<endl;
   cout<<"bf3: "<<bf3<<endl;
   cout<<"bf4: "<<bf4<<endl;
   cout<<"bf5: "<<bf5<<endl;

   //Adding boolfunctions to the objective function
   IP.add_boolfunction(bf1, 1.);
   IP.add_boolfunction(bf2, 10.);

   //Every boolfunction is simplified when added to the ILP
   cout<<"bf1 (simplified): "<<bf1<<endl;
   cout<<"bf2 (simplified): "<<bf2<<endl;

   //Adding a boolean constraint of type C1 (every boolfunction in the list must be true)
   list<boolfunction*> cl;
   cl.push_back(bf4);
   cl.push_back(bf5);
   IP.add_bool_constraint(cl, C1);

   //Solve the ILP
   IP.optimize();

   //delete boolfunctions which are not part of the ILP
   delete bf3;
}

---