#include <record.h>
Definition at line 34 of file record.h.
◆ RecordSelect()
CVC4::RecordSelect::RecordSelect |
( |
const std::string & |
field | ) |
|
throw | ( | |
| ) | | |
|
inline |
◆ getField()
std::string CVC4::RecordSelect::getField |
( |
| ) |
const |
throw | ( | |
| ) | | |
|
inline |
◆ operator!=()
bool CVC4::RecordSelect::operator!= |
( |
const RecordSelect & |
t | ) |
const |
throw | ( | |
| ) | | |
|
inline |
◆ operator==()
bool CVC4::RecordSelect::operator== |
( |
const RecordSelect & |
t | ) |
const |
throw | ( | |
| ) | | |
|
inline |
The documentation for this class was generated from the following file: