#include <record.h>
Definition at line 84 of file record.h.
◆ const_iterator
◆ iterator
◆ Record()
CVC4::Record::Record |
( |
const std::vector< std::pair< std::string, Type > > & | fields | ) |
|
|
inline |
◆ begin()
◆ end()
◆ find()
◆ getIndex()
size_t CVC4::Record::getIndex |
( |
std::string | name | ) |
const |
|
inline |
◆ getNumFields()
size_t CVC4::Record::getNumFields |
( |
| ) |
const |
|
inline |
◆ operator!=()
bool CVC4::Record::operator!= |
( |
const Record & | r | ) |
const |
|
inline |
◆ operator==()
bool CVC4::Record::operator== |
( |
const Record & | r | ) |
const |
|
inline |
◆ operator[]()
std::pair< std::string, Type > CVC4::Record::operator[] |
( |
size_t | index | ) |
const |
|
inline |
The documentation for this class was generated from the following file: