cvc4-1.4
CVC4::RecordSelect Class Reference

#include <record.h>

Public Member Functions

 RecordSelect (const std::string &field) throw ()
 
std::string getField () const throw ()
 
bool operator== (const RecordSelect &t) const throw ()
 
bool operator!= (const RecordSelect &t) const throw ()
 

Detailed Description

Definition at line 34 of file record.h.

Constructor & Destructor Documentation

◆ RecordSelect()

CVC4::RecordSelect::RecordSelect ( const std::string & field)
throw ( )
inline

Definition at line 37 of file record.h.

Member Function Documentation

◆ getField()

std::string CVC4::RecordSelect::getField ( ) const
throw ( )
inline

Definition at line 38 of file record.h.

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

◆ operator!=()

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

Definition at line 40 of file record.h.

◆ operator==()

bool CVC4::RecordSelect::operator== ( const RecordSelect & t) const
throw ( )
inline

Definition at line 39 of file record.h.


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