cprover
ssa_expr.h File Reference
#include "std_expr.h"
+ Include dependency graph for ssa_expr.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  ssa_exprt
 Expression providing an SSA-renamed symbol of expressions. More...
 

Functions

const ssa_exprtto_ssa_expr (const exprt &expr)
 Cast a generic exprt to an ssa_exprt. More...
 
ssa_exprtto_ssa_expr (exprt &expr)
 Cast a generic exprt to an ssa_exprt. More...
 
bool is_ssa_expr (const exprt &expr)
 

Function Documentation

◆ is_ssa_expr()

bool is_ssa_expr ( const exprt expr)
inline

Definition at line 179 of file ssa_expr.h.

◆ to_ssa_expr() [1/2]

const ssa_exprt& to_ssa_expr ( const exprt expr)
inline

Cast a generic exprt to an ssa_exprt.

This is an unchecked conversion. expr must be known to be ssa_exprt.

Parameters
exprSource expression
Returns
Object of type ssa_exprt

Definition at line 160 of file ssa_expr.h.

◆ to_ssa_expr() [2/2]

ssa_exprt& to_ssa_expr ( exprt expr)
inline

Cast a generic exprt to an ssa_exprt.

This is an unchecked conversion. expr must be known to be ssa_exprt.

Parameters
exprSource expression
Returns
Object of type ssa_exprt

Definition at line 171 of file ssa_expr.h.