cvc4-1.4
CVC4::UninterpretedConstant Class Reference

#include <uninterpreted_constant.h>

Public Member Functions

 UninterpretedConstant (Type type, Integer index) throw (IllegalArgumentException)
 
 ~UninterpretedConstant () throw ()
 
Type getType () const throw ()
 
const IntegergetIndex () const throw ()
 
bool operator== (const UninterpretedConstant &uc) const throw ()
 
bool operator!= (const UninterpretedConstant &uc) const throw ()
 
bool operator< (const UninterpretedConstant &uc) const throw ()
 
bool operator<= (const UninterpretedConstant &uc) const throw ()
 
bool operator> (const UninterpretedConstant &uc) const throw ()
 
bool operator>= (const UninterpretedConstant &uc) const throw ()
 

Detailed Description

Definition at line 26 of file uninterpreted_constant.h.

Constructor & Destructor Documentation

CVC4::UninterpretedConstant::UninterpretedConstant ( Type  type,
Integer  index 
)
throw (IllegalArgumentException
)
inline

Definition at line 32 of file uninterpreted_constant.h.

References CVC4::CheckArgument().

CVC4::UninterpretedConstant::~UninterpretedConstant ( )
throw (
)
inline

Definition at line 39 of file uninterpreted_constant.h.

Member Function Documentation

const Integer& CVC4::UninterpretedConstant::getIndex ( ) const
throw (
)
inline
Type CVC4::UninterpretedConstant::getType ( ) const
throw (
)
inline
bool CVC4::UninterpretedConstant::operator!= ( const UninterpretedConstant uc) const
throw (
)
inline

Definition at line 52 of file uninterpreted_constant.h.

bool CVC4::UninterpretedConstant::operator< ( const UninterpretedConstant uc) const
throw (
)
inline

Definition at line 56 of file uninterpreted_constant.h.

bool CVC4::UninterpretedConstant::operator<= ( const UninterpretedConstant uc) const
throw (
)
inline

Definition at line 60 of file uninterpreted_constant.h.

bool CVC4::UninterpretedConstant::operator== ( const UninterpretedConstant uc) const
throw (
)
inline

Definition at line 49 of file uninterpreted_constant.h.

bool CVC4::UninterpretedConstant::operator> ( const UninterpretedConstant uc) const
throw (
)
inline

Definition at line 64 of file uninterpreted_constant.h.

bool CVC4::UninterpretedConstant::operator>= ( const UninterpretedConstant uc) const
throw (
)
inline

Definition at line 67 of file uninterpreted_constant.h.


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