Module bdd_var_manager 

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