cvc4-1.4
|
#include <record.h>
Public Member Functions | |
size_t | operator() (const RecordUpdate &t) const |
|
inline |
Definition at line 59 of file record.h.
References CVC4_PUBLIC, CVC4::RecordUpdate::getField(), CVC4::operator<<(), and CVC4::options::out.