ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
value_sett::object_map_dt Class Reference

#include <value_set.h>

Public Types

typedef object_mapt::const_iterator const_iterator
typedef object_mapt::iterator iterator

Public Member Functions

 ~object_map_dt ()
 object_map_dt ()
object_map_dt & operator= (const object_map_dt &other)=default
 object_map_dt (const object_map_dt &ref)
objectt & operator[] (unsigned i)
const_iterator find (unsigned i) const
iterator find (unsigned i)
const_iterator begin () const
const_iterator end () const
std::size_t size (void) const

Public Attributes

object_mapt themap

Member Typedef Documentation

◆ const_iterator

typedef object_mapt::const_iterator value_sett::object_map_dt::const_iterator

◆ iterator

typedef object_mapt::iterator value_sett::object_map_dt::iterator

Constructor & Destructor Documentation

◆ ~object_map_dt()

value_sett::object_map_dt::~object_map_dt ( )
inline

◆ object_map_dt() [1/2]

value_sett::object_map_dt::object_map_dt ( )
inline

◆ object_map_dt() [2/2]

value_sett::object_map_dt::object_map_dt ( const object_map_dt & ref)
inline

Member Function Documentation

◆ begin()

const_iterator value_sett::object_map_dt::begin ( ) const
inline

◆ end()

const_iterator value_sett::object_map_dt::end ( ) const
inline

◆ find() [1/2]

iterator value_sett::object_map_dt::find ( unsigned i)
inline

◆ find() [2/2]

const_iterator value_sett::object_map_dt::find ( unsigned i) const
inline

◆ operator=()

object_map_dt & value_sett::object_map_dt::operator= ( const object_map_dt & other)
default

◆ operator[]()

objectt & value_sett::object_map_dt::operator[] ( unsigned i)
inline

◆ size()

std::size_t value_sett::object_map_dt::size ( void ) const
inline

Member Data Documentation

◆ themap

object_mapt value_sett::object_map_dt::themap

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