public class BDDUtil extends Object
| Constructor and Description |
|---|
BDDUtil() |
| 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.
|
public static int numberToBDD(BDD jdd, int[] vars, int num)
public static void numberToMinterm(int num,
int length,
int index,
boolean[] output)
numberToBDD(jdd.bdd.BDD, int[], int)This file is a part of the JDD package, a native Java Binary Decision Diagram Library.