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)
size_t operator()(const TupleUpdate &t) const
unsigned getIndex() const
bool operator!=(const TupleUpdate &t) const
bool operator==(const TupleUpdate &t) const
TupleSelect(unsigned index)
bool operator==(const TupleSelect &t) const
std::ostream & operator<<(std::ostream &out, TypeConstant typeConstant)
Macros that should be defined everywhere during the building of the libraries and driver binary...
struct CVC4::options::out__option_t out
unsigned getIndex() const