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
Transform a at most n using the sequential encoding
Transform a at most n using the sequential encoding
the Boolean expressions addressed by the at most
the maximum number of kids which must be true
the Z3 context to create Z3 terms
Z3 Boolean expression
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
Transform an expression to its dnfFrom
Transform an expression to its dnfFrom
Boolean expression
the list of leaves terms
the context use to build the expression
the DNF form
Get the SMT translation of a KCR component
Get the SMT translation of a KCR component
AST node of the component declaration
component case class containing mapping from KCR flows ident to SMT translation
Transform the expression in NNF form
Transform the expression in NNF form
the expression to transform
the list of leaves
the context use to build the expression
break ite into i.t + \neg i.e
the NNF form
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Trait for KCR translation to SMT