Uses of Class
sdd.SDDConstant

Packages that use SDDConstant

Package	Description
sdd

Uses of SDDConstant in sdd

Methods in sdd that return SDDConstant

Modifier and Type	Method and Description
static SDDConstant	SDDConstant.get(boolean b) Returns the SDD tree corresponding to the specified boolean.
SDDConstant	SDDConstant.getConstant()
abstract SDDConstant	SDDTree.getConstant() Returns the constant associated with this SDD tree.
SDDConstant	SDDTreeDisjunction.getConstant()
SDDConstant	SDDVariable.getConstant()
static SDDConstant	SDDConstant.getFalse() Returns the SDD tree corresponding to the constant false.
static SDDConstant	SDDConstant.getTrue() Returns the SDD tree corresponding to the constant true.

Methods in sdd that return types with arguments of type SDDConstant

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