#include <guard_bdd.h>
|
static constexpr bool | is_always_simplified = true |
| BDDs are always in a simplified form and thus no further simplification is required after calls to as_expr().
|
Definition at line 21 of file guard_bdd.h.
◆ guard_bddt() [1/3]
◆ guard_bddt() [2/3]
guard_bddt::guard_bddt |
( |
const guard_bddt & | other | ) |
|
|
inline |
◆ guard_bddt() [3/3]
◆ add()
◆ append()
◆ as_expr()
exprt guard_bddt::as_expr |
( |
| ) |
const |
◆ disjunction_may_simplify()
bool guard_bddt::disjunction_may_simplify |
( |
const guard_bddt & | other_guard | ) |
|
|
inline |
Returns true if operator|= with other_guard
may result in a simpler expression.
For bdd_exprt we always simplify maximally.
Definition at line 67 of file guard_bdd.h.
◆ guard_expr()
Return guard => dest or a simplified variant thereof if either guard or dest are trivial.
Definition at line 38 of file guard_bdd.cpp.
◆ is_false()
bool guard_bddt::is_false |
( |
| ) |
const |
|
inline |
◆ is_true()
bool guard_bddt::is_true |
( |
| ) |
const |
|
inline |
◆ operator!()
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ operator-=
Transforms g1
into g1'
such that ‘g1’ & g2 => g1 => g1'` and returns a reference to g1.
Definition at line 70 of file guard_bdd.cpp.
◆ operator|=
◆ bdd
◆ is_always_simplified
bool guard_bddt::is_always_simplified = true |
|
staticconstexpr |
BDDs are always in a simplified form and thus no further simplification is required after calls to as_expr().
This can vary according to the guard implementation.
Definition at line 38 of file guard_bdd.h.
◆ manager
The documentation for this class was generated from the following files: