Domain class gathering the possible values of a variable, implements the traversable trait
trait for MDD where terminals is the terminals of the MDD,
case class for Node of a MDD
case class representing the Terminals
return the MDD of the ith var of the factory
return the MDD of the ith var of the factory
index of the variable
the mdd if the index is inside domaines range
return a MDD terminal if existing or build one (only one object per value)
return a MDD terminal if existing or build one (only one object per value)
the value of the terminal
returns the MDD of a variable of the MDD factory domain where each edge label is mapped to to terminal given in map function
returns the MDD of a variable of the MDD factory domain where each edge label is mapped to to terminal given in map function
the variable to represents as a MDD
the terminal mapping to variable values
returns the MDD of a variable of the MDD factory domain where each edge label is mapped to terminals according to f function
returns the MDD of a variable of the MDD factory domain where each edge label is mapped to terminals according to f function
the variable to represents as a MDD
the terminal mapping function
check if the variable is defined in the MDDFactory
check if the variable is defined in the MDDFactory
the variable to represents as a MDD
Base trait for MDD factory
Variable type
collection type for values
values type
terminal type
variables' domain type