Package org.batfish

Class BDDUtils

java.lang.Object

org.batfish.BDDUtils

public class BDDUtils
extends Object

Various utility methods for working with BDDs.

Constructor Summary

Constructors

Constructor	Description
BDDUtils()

Method Summary

Modifier and Type	Method	Description
static net.sf.javabdd.BDDFactory	bddFactory(int numVariables)	Create a new BDDFactory object with numVariables boolean variables.
static net.sf.javabdd.BDD[]	bitvector(net.sf.javabdd.BDDFactory factory, int length, int start, boolean reverse)
static net.sf.javabdd.BDD[]	concatBitvectors(net.sf.javabdd.BDD[]... arrays)
static net.sf.javabdd.BDDPairing	swapPairing(net.sf.javabdd.BDD[] bv1, net.sf.javabdd.BDD[] bv2)	Create a BDDPairing for swapping variables.
static net.sf.javabdd.BDDPairing	swapPairing(net.sf.javabdd.BDDFactory bddFactory, Set<net.sf.javabdd.BDDVarPair> varPairs)	Create a BDDPairing for swapping variables.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BDDUtils

public BDDUtils()

Method Details

bddFactory

public static net.sf.javabdd.BDDFactory bddFactory(int numVariables)

Create a new BDDFactory object with numVariables boolean variables.

bitvector

public static net.sf.javabdd.BDD[] bitvector(net.sf.javabdd.BDDFactory factory,
 int length,
 int start,
 boolean reverse)

concatBitvectors

public static net.sf.javabdd.BDD[] concatBitvectors(net.sf.javabdd.BDD[]... arrays)

swapPairing

public static net.sf.javabdd.BDDPairing swapPairing(net.sf.javabdd.BDDFactory bddFactory,
 Set<net.sf.javabdd.BDDVarPair> varPairs)

Create a BDDPairing for swapping variables.

swapPairing

public static net.sf.javabdd.BDDPairing swapPairing(net.sf.javabdd.BDD[] bv1,
 net.sf.javabdd.BDD[] bv2)

Create a BDDPairing for swapping variables.