Uses of Class
sdd.SDDTreeConjunction

Packages that use SDDTreeConjunction

Package	Description
sdd

Uses of SDDTreeConjunction in sdd

Methods in sdd that return SDDTreeConjunction

Modifier and Type	Method and Description
static SDDTreeConjunction	SDDTreeConjunction.create(SDDTree prime, SDDTree sub) Creates the SDD tree conjunction corresponding to the specified primes and subs.

Methods in sdd that return types with arguments of type SDDTreeConjunction

Modifier and Type	Method and Description
protected java.util.Map<java.lang.Object,SDDTreeConjunction>	SDDTreeConjunction.getBuffer()
java.util.Collection<SDDTreeConjunction>	SDDTreeDisjunction.getDisjuncts() Returns an iterable on the SDDTreeDisjunct of this disjunction.

Methods in sdd with parameters of type SDDTreeConjunction

Modifier and Type	Method and Description
int	SDDTreeConjunction.compareTo(SDDTreeConjunction t)

Method parameters in sdd with type arguments of type SDDTreeConjunction

Modifier and Type	Method and Description
static SDDTreeDisjunction	SDDTreeDisjunction.create(java.util.Set<SDDTreeConjunction> conjuncts)
void	SDDConstant.saveToDot(DotStream out, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, NameGenerator gen)
abstract void	SDDTree.saveToDot(DotStream out, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, NameGenerator gen) Prints a dot representation of this SDD tree in the specified string builder given the specified names for SDDTrees and SDDTreeConjunction, as well as a counter to create more names.
void	SDDTreeConjunction.saveToDot(DotStream out, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, NameGenerator gen) Prints a dot representation of this tree conjunction in the specified string builder given the specified names for SDDTrees and SDDTreeConjunction, as well as a counter to create more names.
void	SDDTreeDisjunction.saveToDot(DotStream out, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, NameGenerator gen)
void	SDDVariable.saveToDot(DotStream out, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, NameGenerator gen)
int	SDDConstant.saveToString(java.lang.StringBuilder bui, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, int counter)
abstract int	SDDTree.saveToString(java.lang.StringBuilder bui, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, int counter) Prints a string representation of this SDD tree in the specified string builder, given the specified names for SDDTrees and SDDTreeConjunction, as well as a counter to create more names.
int	SDDTreeConjunction.saveToString(java.lang.StringBuilder bui, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, int counter) Prints a string representation of this tree conjunction in the specified string builder, given the specified names for SDDTrees and SDDTreeConjunction, as well as a counter to create more names.
int	SDDTreeDisjunction.saveToString(java.lang.StringBuilder bui, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, int counter)
int	SDDVariable.saveToString(java.lang.StringBuilder bui, java.util.Map<SDDTree,java.lang.String> sddTrees, java.util.Map<SDDTreeConjunction,java.lang.String> conjs, int counter)