Case class encoding the choice over a substitution varaible
Case class encoding the choice over a substitution varaible
the substitution variable
the value of the variable
type representing a clause as a set of predicate
type representing a model as a mapping of substitution variable to an integer encoding the selected substitution
Base trait for model predicates
Util case class for negation of Safety predicates
Util case class for negation of Safety predicates
the safety predicate to negate
Case class encoding the order requirement predicate
Case class encoding the order requirement predicate
the STMDD representing the system
the order requirement
Case class encoding the reliability requirement predicate
Case class encoding the reliability requirement predicate
the STMDD representing the system
the reliability requirement
Base trait for safety theory predicates
Base trait for requirement predicates
type representing a mapping of component instance identifier to optional integer encoding the selected substitution
Decision procedure of the Safety theory
Decision procedure of the Safety theory
the conjonction of Safety predicate on which the satisfiability modulo Safety must be decided
use quickXplain conflict clause minimisation
a model if SAT or a conflict clause if UNSAT
Memoized computation of the unreliability of an STMDD according to a selection
Transform a model of the substitution variables to a list of selection index in the local indicators table of the STMDD edges
Transform a model of the substitution variables to a list of selection index in the local indicators table of the STMDD edges
the STMDD concerned by the model
the model of the substitution variables
the selection sequence
Created by kdelmas on 25/09/17.