CBMC
flatten_ok_expr.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

exprt flatten (const state_ok_exprt &)
 

Function Documentation

◆ flatten()

exprt flatten ( const state_ok_exprt ok_expr)

Definition at line 15 of file flatten_ok_expr.cpp.