Uses of Class
sdd.SDDVariable

Packages that use SDDVariable

Package	Description
sdd

Uses of SDDVariable in sdd

Methods in sdd that return SDDVariable

Modifier and Type	Method and Description
static SDDVariable	SDDVariable.create(Variable var, boolean val)
SDDVariable	SDDConstant.getLiteral()
abstract SDDVariable	SDDTree.getLiteral() Returns the literal associated with this SDD tree.
SDDVariable	SDDTreeDisjunction.getLiteral()
SDDVariable	SDDVariable.getLiteral()
SDDVariable	SDDVariable.not() Returns the negation of this literal.

Methods in sdd that return types with arguments of type SDDVariable

Modifier and Type	Method and Description
protected java.util.Map<java.lang.Object,SDDVariable>	SDDVariable.getBuffer()