cprover
|
#include "std_expr.h"
Go to the source code of this file.
Classes | |
class | ssa_exprt |
Expression providing an SSA-renamed symbol of expressions. More... | |
Functions | |
const ssa_exprt & | to_ssa_expr (const exprt &expr) |
Cast a generic exprt to an ssa_exprt. More... | |
ssa_exprt & | to_ssa_expr (exprt &expr) |
Cast a generic exprt to an ssa_exprt. More... | |
bool | is_ssa_expr (const exprt &expr) |
|
inline |
Definition at line 179 of file ssa_expr.h.
Cast a generic exprt to an ssa_exprt.
This is an unchecked conversion. expr must be known to be ssa_exprt.
expr | Source expression |
Definition at line 160 of file ssa_expr.h.