util.analyzers
Case class encoding the structure function of a system
the boolean expression of the structure function
the mapping of KCR events to Z3 varaibles
the SMT evaluation context
Case class encoding the structure function of a system
the boolean expression of the structure function
the mapping of KCR events to Z3 varaibles
the SMT evaluation context