CBMC
Loading...
Searching...
No Matches
Functions
expr2cpp.h File Reference
#include <string>
+ Include dependency graph for expr2cpp.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::string  expr2cpp (const exprt &expr, const namespacet &ns)
 
std::string  type2cpp (const typet &type, const namespacet &ns)
 

Function Documentation

◆  expr2cpp()

std::string expr2cpp ( const exprt &  expr,
const namespacet &  ns 
)

Definition at line 486 of file expr2cpp.cpp.

◆  type2cpp()

std::string type2cpp ( const typet &  type,
const namespacet &  ns 
)

Definition at line 493 of file expr2cpp.cpp.

AltStyle によって変換されたページ (->オリジナル) /