2 #ifndef DISPLAY_DISPLAY_DATA_OPTIONS_H_
3 #define DISPLAY_DISPLAY_DATA_OPTIONS_H_
51 map_type::size_type
size( )
const {
56 options.insert(std::pair<string,string>(key,value));
string & operator[](const string &key)
const string & operator[](const string &key) const
Elements::const_iterator const_iterator
map_type::reverse_iterator reverse_iterator
void insert(const string &key, const string &value)
const_reverse_iterator rbegin() const
const_iterator end() const
std::map< string, string > map_type
const_iterator begin() const
map_type::size_type size() const
map_type::const_reverse_iterator const_reverse_iterator
map_type::iterator iterator
map_type::const_iterator const_iterator
reverse_iterator rbegin()
const_reverse_iterator rend() const
LatticeExprNode value(const LatticeExprNode &expr)
This function returns the value of the expression without a mask.