cvc4-1.4
CVC4::TupleUpdate Class Reference

#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 ()
 

Detailed Description

Definition at line 38 of file tuple.h.

Constructor & Destructor Documentation

CVC4::TupleUpdate::TupleUpdate ( unsigned  index)
throw (
)
inline

Definition at line 41 of file tuple.h.

Member Function Documentation

unsigned CVC4::TupleUpdate::getIndex ( ) const
throw (
)
inline

Definition at line 42 of file tuple.h.

Referenced by CVC4::TupleUpdateHashFunction::operator()(), and CVC4::operator<<().

bool CVC4::TupleUpdate::operator!= ( const TupleUpdate t) const
throw (
)
inline

Definition at line 44 of file tuple.h.

bool CVC4::TupleUpdate::operator== ( const TupleUpdate t) const
throw (
)
inline

Definition at line 43 of file tuple.h.


The documentation for this class was generated from the following file: