cprover
|
#include <string>
Go to the source code of this file.
Functions | |
std::string | expr2c (const exprt &expr, const namespacet &ns) |
std::string | type2c (const typet &type, const namespacet &ns) |
std::string expr2c | ( | const exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 3874 of file expr2c.cpp.
References expr2c().
Referenced by disjunctive_polynomial_accelerationt::accelerate(), polynomial_acceleratort::accelerate(), acceleration_utilst::array_assignments2polys(), acceleration_utilst::assign_array(), cone_of_influencet::cone_of_influence(), acceleration_utilst::do_arrays(), acceleration_utilst::do_nonrecursive(), expr2c(), acceleration_utilst::expr2poly(), polynomial_acceleratort::fit_const(), disjunctive_polynomial_accelerationt::fit_polynomial(), polynomial_acceleratort::fit_polynomial_sliced(), ansi_c_languaget::from_expr(), acceleratet::is_underapproximate(), acceleration_utilst::precondition(), polynomial_acceleratort::precondition(), acceleratet::set_dirty_vars(), zero_initializert::to_string(), c_typecheck_baset::to_string(), and type2c().
std::string type2c | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 3882 of file expr2c.cpp.
References expr2c().
Referenced by ansi_c_languaget::from_type(), zero_initializert::to_string(), and c_typecheck_baset::to_string().