#include <guard_expr.h>
Definition at line 23 of file guard_expr.h.
◆ guard_exprt()
Construct a BDD from an expression The guard_managert
parameter is not used, but we keep it for uniformity with other implementations of guards which may use it.
Definition at line 29 of file guard_expr.h.
◆ add()
void guard_exprt::add |
( |
const exprt & |
expr | ) |
|
◆ append()
◆ as_expr()
exprt guard_exprt::as_expr |
( |
| ) |
const |
|
inline |
◆ disjunction_may_simplify()
bool guard_exprt::disjunction_may_simplify |
( |
const guard_exprt & |
other_guard | ) |
|
Returns true if operator|=
with other_guard
may result in a simpler expression.
For guard_exprt
in practice this means they're both conjunctions, since for other things we just OR them together.
Definition at line 123 of file guard_expr.cpp.
◆ guard_expr()
Return guard => dest
or a simplified variant thereof if either guard or dest are trivial.
Definition at line 18 of file guard_expr.cpp.
◆ is_false()
bool guard_exprt::is_false |
( |
| ) |
const |
|
inline |
◆ is_true()
bool guard_exprt::is_true |
( |
| ) |
const |
|
inline |
◆ operator=()
◆ operator-=
◆ operator|=
◆ expr
◆ is_always_simplified
constexpr bool guard_exprt::is_always_simplified = false |
|
staticconstexpr |
The result of as_expr is not always in a simplified form and may requires some simplification.
This can vary according to the guard implementation.
Definition at line 54 of file guard_expr.h.
The documentation for this class was generated from the following files: