19 #ifndef __CVC4__TUPLE_H
20 #define __CVC4__TUPLE_H
33 unsigned getIndex()
const throw() {
return d_index; }
42 unsigned getIndex()
const throw() {
return d_index; }
63 return out <<
"[" << t.
getIndex() <<
"]";
67 return out <<
"[" << t.
getIndex() <<
"]";
bool operator==(const TupleSelect &t) const
size_t operator()(const TupleSelect &t) const
TupleUpdate(unsigned index)
unsigned getIndex() const
bool operator==(const TupleUpdate &t) const
unsigned getIndex() const
TupleSelect(unsigned index)
Macros that should be defined everywhere during the building of the libraries and driver binary...
bool operator!=(const TupleSelect &t) const
std::ostream & operator<<(std::ostream &out, const SubrangeBound &bound)
struct CVC4::options::out__option_t out
size_t operator()(const TupleUpdate &t) const
bool operator!=(const TupleUpdate &t) const