Module zcs 

This module contains the symbolic representation of a 01-CS (ZCS) for a given IntervalThresholdAutomaton.

Modules

bdd_var_manager 🔒

This module contains the definition of a BDD context manager which is used to create and manage BDD variables.

builder

Factory method to construct a symbolic 01-CS (ZCS) for a given IntervalThresholdAutomaton

Structs

SymbolicTransition

Type to represent a symbolic transition in the 01-CS (ZCS)

SymbolicVariableAssignment

Type that represents a symbolic variable assignment

ZCS

Type representing a symbolic 01-CS (ZCS)

ZCSStates

Type to represent a set of states in the 01-CS (ZCS)