jdd.bdd

Class BDDUtil

java.lang.Object

jdd.bdd.BDDUtil

public class BDDUtil
extends Object

some BDD helper function that we could/want not put in the BDD class directly

Constructor Summary

Constructors

Constructor and Description
BDDUtil()

Method Summary

Modifier and Type	Method and Description
static int	numberToBDD(BDD jdd, int[] vars, int num) encode the number as a BDD.
static void	numberToMinterm(int num, int length, int index, boolean[] output) encode the number as a boolean vector, starting from the given index.

Methods inherited from class java.lang.Object

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

Constructor Detail

BDDUtil

public BDDUtil()

Method Detail

numberToBDD

public static int numberToBDD(BDD jdd,
                              int[] vars,
                              int num)

encode the number as a BDD. must use the same encoding as numberToMinterm!

See Also:

numberToMinterm(int, int, int, boolean[])

numberToMinterm

public static void numberToMinterm(int num,
                                   int length,
                                   int index,
                                   boolean[] output)

encode the number as a boolean vector, starting from the given index. must use the same encoding as numberToBDD!

See Also:

numberToBDD(jdd.bdd.BDD, int[], int)