cprover
language_util.h File Reference
#include <util/irep.h>
+ Include dependency graph for language_util.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::string from_expr (const namespacet &ns, const irep_idt &identifier, const exprt &expr)
 
std::string from_expr (const exprt &expr)
 
std::string from_type (const namespacet &ns, const irep_idt &identifier, const typet &type)
 
std::string from_type (const typet &type)
 
exprt to_expr (const namespacet &ns, const irep_idt &identifier, const std::string &src)
 
std::string type_to_name (const namespacet &ns, const irep_idt &identifier, const typet &type)
 
std::string type_to_name (const typet &type)
 

Function Documentation

◆ from_expr() [1/2]

std::string from_expr ( const exprt expr)

Definition at line 59 of file language_util.cpp.

◆ from_expr() [2/2]

std::string from_expr ( const namespacet ns,
const irep_idt identifier,
const exprt expr 
)

Definition at line 20 of file language_util.cpp.

◆ from_type() [1/2]

std::string from_type ( const namespacet ns,
const irep_idt identifier,
const typet type 
)

Definition at line 33 of file language_util.cpp.

◆ from_type() [2/2]

std::string from_type ( const typet type)

Definition at line 65 of file language_util.cpp.

◆ to_expr()

exprt to_expr ( const namespacet ns,
const irep_idt identifier,
const std::string &  src 
)

Definition at line 71 of file language_util.cpp.

◆ type_to_name() [1/2]

std::string type_to_name ( const namespacet ns,
const irep_idt identifier,
const typet type 
)

Definition at line 46 of file language_util.cpp.

◆ type_to_name() [2/2]

std::string type_to_name ( const typet type)

Definition at line 91 of file language_util.cpp.