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
bool	is_ssa_expr (const exprt &expr)
template<>
bool	can_cast_expr< ssa_exprt > (const exprt &base)
void	validate_expr (const ssa_exprt &expr)
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...
ssa_exprt	remove_level_2 (ssa_exprt ssa)

Function Documentation

can_cast_expr< ssa_exprt >()

template<>

bool can_cast_expr< ssa_exprt > ( const exprt &  base )

inline

Definition at line 131 of file ssa_expr.h.

is_ssa_expr()

bool is_ssa_expr ( const exprt &  expr )

inline

Definition at line 125 of file ssa_expr.h.

remove_level_2()

ssa_exprt remove_level_2

(

ssa_exprt

ssa

)

Returns

copy of ssa where level2 identifiers have been removed

to_ssa_expr() [1/2]

const ssa_exprt& to_ssa_expr ( const exprt &  expr )

inline

Cast a generic exprt to an ssa_exprt.

Parameters

expr	Source expression

Returns

Object of type ssa_exprt

Definition at line 145 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.

Parameters

expr	Source expression

Returns

Object of type ssa_exprt

Definition at line 153 of file ssa_expr.h.

validate_expr()

void validate_expr ( const ssa_exprt &  expr )

inline

Definition at line 136 of file ssa_expr.h.