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
Generation of the substitution var for the given DSE problem
Generation of the substitution var for the given DSE problem
list of substitution var
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
Solver object handling classic Z3 Boolean assertions and custom Safety assertions
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
Timed DSE resolution
solution of the DSE problem
solution of the DSE problem
Solve the DSE problem of the actual configuration conf
Solve the DSE problem of the actual configuration conf
use quickXlain conflict clause minimisation algorithm
solution if it exists
Solve the DSE problem using custom reliability and order requirements
Solve the DSE problem using custom reliability and order requirements
optional reliability requirement
optional order requirement
use quickXlain conflict clause minimisation algorithm
solution if it exists
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Trait for DSE solving of KCR modelled problems