cvc4-1.4
|
#include <record.h>
Public Types | |
typedef std::vector< std::pair< std::string, Type > >::const_iterator | const_iterator |
typedef const_iterator | iterator |
Public Member Functions | |
Record (const std::vector< std::pair< std::string, Type > > &fields) | |
const_iterator | find (std::string name) const |
size_t | getIndex (std::string name) const |
size_t | getNumFields () const |
const_iterator | begin () const |
const_iterator | end () const |
std::pair< std::string, Type > | operator[] (size_t index) const |
bool | operator== (const Record &r) const |
bool | operator!= (const Record &r) const |
typedef std::vector< std::pair<std::string, Type> >::const_iterator CVC4::Record::const_iterator |
typedef const_iterator CVC4::Record::iterator |
|
inline |
|
inline |
Definition at line 116 of file record.h.
Referenced by CVC4::RecordHashFunction::operator()().
|
inline |
Definition at line 120 of file record.h.
Referenced by CVC4::RecordHashFunction::operator()().
|
inline |
|
inline |
Definition at line 106 of file record.h.
References CVC4::CheckArgument().
|
inline |
|
inline |
|
inline |
Definition at line 124 of file record.h.
References CVC4::CheckArgument().