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