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