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 order of a BDD ie the minimal number of event needed to reach one terminal
Compute the order of a BDD ie the minimal number of event needed to reach one terminal
the BDD
the order of the BDD
Compute the minimal cutsets in a BDD thanks to Rauzy algorithm
Compute the minimal cutsets in a BDD thanks to Rauzy algorithm
the BDD
the cutsets as set of sets of index
Compute minimal cutsets up to a given cardinality thanks to Rauzy algorithm
Compute minimal cutsets up to a given cardinality thanks to Rauzy algorithm
BDD
bound of cutsets cardinality
cutsets
Compute the probability to reach one terminal from root ie
Compute the probability to reach one terminal from root ie
BDD
probability of each event attached to a BDD node
Probability to reach one terminal from root
Compute symbolic probability to reach one terminal from root
Compute symbolic probability to reach one terminal from root
BDD
probability of each event attached to a BDD node
symbolic probability to reach one terminal from root
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Reliability computation trait