de.sayayi.lib.zbdd

Interface Zbdd.CubeVisitor

Enclosing class:

Zbdd

public static interface Zbdd.CubeVisitor

Cube visitor interface to be used with Zbdd.visitCubes(int, CubeVisitor).

Method Summary

Modifier and Type	Method and Description
void	visitCube(int[] vars) This method is invoked for each cube in the zbdd set.

Method Detail

visitCube

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.

Parameters:

vars - cube variables or empty array, never null

See Also:

Zbdd.visitCubes(int, CubeVisitor), Zbdd.base()