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
Current computation mode
Compute cutsets with a default method
Compute cutsets with a default method
bound on cutset cardinality
computed cutsets
Compute cutsets with a given method
Compute cutsets with a given method
bound on cutset cardinality
method used
computed cutsets
Profiler for timing the cutsets computation according to selected method
Profiler for timing the cutsets computation according to selected method
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Cut enumeration implementing all the possible cut computation techniques