cvc4-1.4
|
#include <tuple.h>
Public Member Functions | |
TupleUpdate (unsigned index) throw () | |
unsigned | getIndex () const throw () |
bool | operator== (const TupleUpdate &t) const throw () |
bool | operator!= (const TupleUpdate &t) const throw () |
|
inline |
|
inline |
Definition at line 42 of file tuple.h.
Referenced by CVC4::TupleUpdateHashFunction::operator()(), and CVC4::operator<<().
|
inline |
|
inline |