#include <record.h>
Definition at line 58 of file record.h.
Definition at line 59 of file record.h.
References CVC4::RecordUpdate::getField().