CBMC
format_elementt Member List

This is the complete list of members for format_elementt, including all inherited members.

format_elementt(format_typet _type)format_elementtinlineexplicit
format_elementt(std::string s)format_elementtinlineexplicit
format_elementt(format_specifiert fs)format_elementtinlineexplicit
format_typet enum nameformat_elementt
fspecformat_elementtprivate
fstringformat_elementtprivate
get_format_specifier() constformat_elementtinline
get_format_text()format_elementtinline
get_format_text() constformat_elementtinline
is_format_specifier() constformat_elementtinline
is_format_text() constformat_elementtinline
SPECIFIER enum valueformat_elementt
TEXT enum valueformat_elementt
typeformat_elementtprivate