#include <tuple.h>
Definition at line 53 of file tuple.h.
Definition at line 54 of file tuple.h.
References CVC4::TupleUpdate::getIndex().