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 minimal cutsets with BDD method
Compute minimal cutsets with BDD method
maximal cutset size if defined, no bound otherwise
the set of minimal cutsets
Profiler for timing the cutsets computation
Profiler for timing the cutsets computation
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Cutsets computation with BDD method