cprover
format.h File Reference
#include <iosfwd>
Include dependency graph for format.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  format_containert< T >
 The below enables convenient syntax for feeding objects into streams, via stream << format(o) More...
 

Functions

template<typename T >
static std::ostream & operator<< (std::ostream &os, const format_containert< T > &f)
 
template<typename T >
static format_containert< T > format (const T &o)
 

Function Documentation

◆ format()

template<typename T >
static format_containert<T> format ( const T &  o)
inlinestatic

Definition at line 35 of file format.h.

Referenced by string_refinementt::add_lemma(), value_set_fit::assign(), value_set_fivrnst::assign(), value_set_fivrt::assign(), value_sett::assign(), value_set_fit::assign_rec(), value_sett::assign_rec(), value_set_dereferencet::build_reference_to(), check_axioms(), symex_slice_by_tracet::compute_ts_back(), smt2_convt::convert_typecast(), debug_check_axioms_step(), debug_model(), string_refinementt::dec_solve(), value_set_dereferencet::dereference(), display_index_set(), equation_conversion_exceptiont::equation_conversion_exceptiont(), expr_initializert< nondet >::expr_initializer_rec(), fallback_format_rec(), format_rec(), bdd_exprt::from_expr_rec(), assert_false_generate_function_bodiest::generate_function_body_impl(), assert_false_then_assume_false_generate_function_bodiest::generate_function_body_impl(), generate_symbol_resolution_from_equations(), get_array(), get_char_array_and_concretize(), value_set_fivrnst::get_reference_set_rec(), value_sett::get_reference_set_rec(), value_set_fit::get_reference_set_sharing_rec(), value_set_fivrt::get_reference_set_sharing_rec(), value_set_fit::get_value_set(), value_set_fivrnst::get_value_set(), value_set_fivrt::get_value_set(), value_sett::get_value_set(), value_set_fit::get_value_set_rec(), value_sett::get_value_set_rec(), havoc_generate_function_bodiest::havoc_expr_rec(), string_constraintt::is_valid_string_constraint(), dereferencet::operator()(), goto_trace_stept::output(), symex_target_equationt::SSA_stept::output(), string_dependenciest::output_dot(), output_equations(), java_bytecode_parsert::rbytecode(), smt2_convt::set_to(), simplify_exprt::simplify(), simplify_exprt::simplify_node(), string_identifiers_resolution_from_equations(), goto_symext::symex_step(), to_string(), constant_propagator_domaint::two_way_propagate_rec(), and arrayst::update_index_map().

◆ operator<<()

template<typename T >
static std::ostream& operator<< ( std::ostream &  os,
const format_containert< T > &  f 
)
inlinestatic

Definition at line 29 of file format.h.

References format_rec().