12 #ifndef CPROVER_SOLVERS_PROP_BDD_EXPR_H 13 #define CPROVER_SOLVERS_PROP_BDD_EXPR_H 43 typedef std::unordered_map<exprt, mini_bddt, irep_hash>
expr_mapt;
52 #endif // CPROVER_SOLVERS_PROP_BDD_EXPR_H
std::unordered_map< exprt, mini_bddt, irep_hash > expr_mapt
mini_bddt from_expr_rec(const exprt &expr)
void from_expr(const exprt &expr)
std::map< unsigned, exprt > node_mapt
Base class for all expressions.
A minimalistic BDD library, following Bryant's original paper and Andersen's lecture notes...
bdd_exprt(const namespacet &_ns)