Class encoding instance identifiers which can be ordered
Class encoding instance identifiers which can be ordered
Class encoding of component traces which can be ordered
Class encoding of component traces which can be ordered
Class encoding scala Symbol that can be compared
Class encoding scala Symbol that can be compared
Companion object for ordered instance identifiers
Companion object for ordered instance identifiers
Companion object of component traces
Companion object of component traces
Companion object for ordered symbols
Companion object for ordered symbols
Order over flow identifiers
Order over flow identifiers
Order over constants
Order over constants
Order over instance identifiers in a system component
Order over instance identifiers in a system component
compute the cardinality of a substitution choice
compute the cardinality of a substitution choice
the substitution choice
the over, under and exact cardinality (if computable)
Recursively compute the order of a mdd node according to a substitution choice which is card(node)=min_{s \in node.kids} (card(s.tr,choice(node))+card(s.son))
Recursively compute the order of a mdd node according to a substitution choice which is card(node)=min_{s \in node.kids} (card(s.tr,choice(node))+card(s.son))
mdd node
substitution chocie
the order
Compute the unreliability of the solution with the STMDD
Compute the unreliability of the solution with the STMDD
the solution to assess
the unreliability
Transform a solution to a sequence of selection of local indicators in the STMDD
Transform a solution to a sequence of selection of local indicators in the STMDD
alternative choices for system's component
sequence of selection of local indicators in the STMDD
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Trait for additional analysis of the DSE problem solution