#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: