format_elementt Class Reference

Collaboration diagram for format_elementt:

Public Types
enum	format_typet { SPECIFIER, TEXT }

Public Member Functions
	format_elementt (format_typet _type)
	format_elementt (std::string s)
	format_elementt (format_specifiert fs)
bool	is_format_specifier () const
bool	is_format_text () const
format_specifiert	get_format_specifier () const
format_textt &	get_format_text ()
const format_textt &	get_format_text () const

Private Attributes
format_typet	type
format_textt	fstring
std::vector< format_specifiert >	fspec

Detailed Description

Definition at line 95 of file string_constraint_generator_format.cpp.

Member Enumeration Documentation

format_typet

enum format_elementt::format_typet

Enumerator
SPECIFIER
TEXT

Definition at line 98 of file string_constraint_generator_format.cpp.

Constructor & Destructor Documentation

format_elementt() [1/3]

format_elementt::format_elementt ( format_typet  _type )

inlineexplicit

Definition at line 100 of file string_constraint_generator_format.cpp.

format_elementt() [2/3]

format_elementt::format_elementt ( std::string  s )

inlineexplicit

Definition at line 104 of file string_constraint_generator_format.cpp.

format_elementt() [3/3]

format_elementt::format_elementt ( format_specifiert  fs )

inlineexplicit

Definition at line 108 of file string_constraint_generator_format.cpp.

Member Function Documentation

get_format_specifier()

format_specifiert format_elementt::get_format_specifier ( ) const

inline

Definition at line 123 of file string_constraint_generator_format.cpp.

get_format_text() [1/2]

format_textt& format_elementt::get_format_text ( )

inline

Definition at line 129 of file string_constraint_generator_format.cpp.

get_format_text() [2/2]

const format_textt& format_elementt::get_format_text ( ) const

inline

Definition at line 135 of file string_constraint_generator_format.cpp.

is_format_specifier()

bool format_elementt::is_format_specifier ( ) const

inline

Definition at line 113 of file string_constraint_generator_format.cpp.

is_format_text()

bool format_elementt::is_format_text ( ) const

inline

Definition at line 118 of file string_constraint_generator_format.cpp.

Member Data Documentation

fspec

std::vector<format_specifiert> format_elementt::fspec

private

Definition at line 144 of file string_constraint_generator_format.cpp.

fstring

format_textt format_elementt::fstring

private

Definition at line 143 of file string_constraint_generator_format.cpp.

type

format_typet format_elementt::type

private

Definition at line 142 of file string_constraint_generator_format.cpp.

---

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

• solvers/refinement/string_constraint_generator_format.cpp