setbag.h

Go to the documentation of this file.

#include <bdd.h>
#include <iostream>
#include <bitset>
#include "bag.h"
#include "set.h"

using namespace std;

bdd bag2set(bdd bag){

        bdd u;  
        bdd temp1;
        int member;
        for (int i =1; i<=levels;i++)
    {
        
    if (bagIsMember(bdd_ithvar(i),bag))
     {
                                    temp1 = bdd_ithvar(i);
     }
    else                          
     {     
        temp1 = bdd_nithvar(i);    
     }
                                for (int k=1 ; k<=levels; k++)
                                                {
          if (k != i)
                                                                                   temp1 = temp1 & bdd_nithvar(k);
          else
             temp1 = temp1 & bdd_ithvar(k);
                                                }
        
           u = u | temp1;
        }       
        
        return u;
}

bdd set2bag(bdd set){


        bdd u;  
        bdd temp1;
        temp1 = set;
        int member;
        for (int i =1; i<=levels;i++)
    {
        if (setIsMember(bdd_ithvar(i), set))
      {
        temp1 = setOcc(i,1,temp1);
                }
      else 
      {
                temp1 = setOcc(i,0,temp1);
      }
                }
 u = temp1;
        return u;
}

---