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