#include <record.h>
Definition at line 139 of file record.h.
Definition at line 140 of file record.h.
References CVC4::Record::begin(), and CVC4::Record::end().