cvc4-1.4
|
#include <record.h>
Public Member Functions | |
size_t | operator() (const Record &r) const |
|
inline |
Definition at line 140 of file record.h.
References CVC4::Record::begin(), CVC4_PUBLIC, CVC4::Record::end(), and CVC4::operator<<().