Public Types

using formattert = std::function< std::ostream &(std::ostream &, const exprt &)>

Public Member Functions

find the formatter for a given expression

setup the expressions we can format

Definition at line 270 of file format_expr.cpp.

Definition at line 280 of file format_expr.cpp.

using format_expr_configt::formattert = std::function<std::ostream &(std::ostream &, const exprt &)>

Definition at line 278 of file format_expr.cpp.

format_expr_configt::format_expr_configt ( )

inline

Definition at line 273 of file format_expr.cpp.

const format_expr_configt::formattert & format_expr_configt::find_formatter ( const exprt & expr )

find the formatter for a given expression

Definition at line 632 of file format_expr.cpp.

void format_expr_configt::setup ( )

private

setup the expressions we can format

Definition at line 297 of file format_expr.cpp.

expr_mapt format_expr_configt::expr_map

Definition at line 282 of file format_expr.cpp.

formattert format_expr_configt::fallback

private

Definition at line 291 of file format_expr.cpp.

The documentation for this class was generated from the following file: