12#ifndef CPROVER_ANALYSES_GUARD_H
13#define CPROVER_ANALYSES_GUARD_H
Conversion between exprt and miniBDD.
Conversion between exprt and bbdt This encapsulate a bdd_managert, thus BDDs created with this class ...
guard_expr_managert guard_managert
Guard Data Structure Implementation using BDDs.
This is unused by this implementation of guards, but can be used by other implementations of the same...