public static interface Zbdd.CubeVisitor
Zbdd.visitCubes(int, CubeVisitor).| Modifier and Type | Method and Description |
|---|---|
void |
visitCube(int[] vars)
This method is invoked for each cube in the zbdd set.
|
void visitCube(int[] vars)
This method is invoked for each cube in the zbdd set.
The variables in array vars are sorted in descendant order.
If vars is an empty array, it represents the base node.
vars - cube variables or empty array, never nullZbdd.visitCubes(int, CubeVisitor),
Zbdd.base()