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
Case class encoding the label on the STMDD edges
Case class encoding the label on the STMDD edges
BDD factory for the interpreter and BDD build of phi
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
the STMDD of the system
the STMDD of the system
compute the SMTDD
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
the MDD factory used to build the STMDD
the MDD factory used to build the STMDD
the BDD of the structure function
the variables of the STMDD (OrderedCompInstIdent) and their domain (OrderedCompTrace)
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Trace tree computation based on interpretation