Module bdd_var_manager

Module bdd_var_manager 

Source
Expand description

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

Structs§

BddVarManager
Manager for BDD variables for an underlying IntervalThresholdAutomaton

Enums§

BDDVarManagerError
Custom Error type to indicate an error when creating a new bdd variable or trying to access an uninitialized one