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