cvc4-1.3
|
#include <record.h>
Public Member Functions | |
RecordUpdate (const std::string &field) throw () | |
std::string | getField () const throw () |
bool | operator== (const RecordUpdate &t) const throw () |
bool | operator!= (const RecordUpdate &t) const throw () |
|
inline |
|
inline |
Definition at line 47 of file record.h.
Referenced by CVC4::RecordUpdateHashFunction::operator()(), and CVC4::operator<<().
|
inline |
|
inline |