ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
languagest Class Referencefinal

#include <languages.h>

Public Member Functions

 languagest (const namespacet &_ns, language_idt lang)
bool from_expr (const exprt &expr, std::string &code, presentationt target=presentationt::HUMAN)
bool from_type (const typet &type, std::string &code, presentationt target=presentationt::HUMAN)

Constructor & Destructor Documentation

◆ languagest()

languagest::languagest ( const namespacet & _ns,
language_idt lang )
inline

Member Function Documentation

◆ from_expr()

bool languagest::from_expr ( const exprt & expr,
std::string & code,
presentationt target = presentationt::HUMAN )
inline

◆ from_type()

bool languagest::from_type ( const typet & type,
std::string & code,
presentationt target = presentationt::HUMAN )
inline
The documentation for this class was generated from the following file: