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