cvc4-1.3
|
#include <uninterpreted_constant.h>
Public Member Functions | |
UninterpretedConstant (Type type, Integer index) throw (IllegalArgumentException) | |
~UninterpretedConstant () throw () | |
Type | getType () const throw () |
const Integer & | getIndex () 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 () |
Definition at line 26 of file uninterpreted_constant.h.
|
inline |
Definition at line 32 of file uninterpreted_constant.h.
References CVC4::CheckArgument().
|
inline |
Definition at line 39 of file uninterpreted_constant.h.
|
inline |
Definition at line 45 of file uninterpreted_constant.h.
Referenced by CVC4::UninterpretedConstantHashFunction::operator()().
|
inline |
Definition at line 42 of file uninterpreted_constant.h.
Referenced by CVC4::UninterpretedConstantHashFunction::operator()().
|
inline |
Definition at line 52 of file uninterpreted_constant.h.
|
inline |
Definition at line 56 of file uninterpreted_constant.h.
|
inline |
Definition at line 60 of file uninterpreted_constant.h.
|
inline |
Definition at line 49 of file uninterpreted_constant.h.
|
inline |
Definition at line 64 of file uninterpreted_constant.h.
|
inline |
Definition at line 67 of file uninterpreted_constant.h.