Uses of Interface
util.NameGenerator

Packages that use NameGenerator

Package	Description
sdd
util

Uses of NameGenerator in sdd

Methods in sdd with parameters of type NameGenerator

Modifier and Type	Method and Description
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)

Uses of NameGenerator in util

Classes in util that implement NameGenerator

Modifier and Type	Class and Description
class	NumberedNameGenerator A numbered name generator is a name generator that generates names of the type "Xx" where "X" is a fixed (specified) prefix and "x" is a counter.