cvc4-1.4
Public Member Functions
CVC4::AbstractValue Class Reference

#include <abstract_value.h>

Public Member Functions

 AbstractValue (Integer index) throw (IllegalArgumentException)
 
 ~AbstractValue () throw ()
 
const Integer & getIndex () const throw ()
 
bool operator== (const AbstractValue &val) const throw ()
 
bool operator!= (const AbstractValue &val) const throw ()
 
bool operator< (const AbstractValue &val) const throw ()
 
bool operator<= (const AbstractValue &val) const throw ()
 
bool operator> (const AbstractValue &val) const throw ()
 
bool operator>= (const AbstractValue &val) const throw ()
 

Detailed Description

Definition at line 26 of file abstract_value.h.

Constructor & Destructor Documentation

CVC4::AbstractValue::AbstractValue ( Integer  index)
throw (IllegalArgumentException
)
inline

Definition at line 31 of file abstract_value.h.

References CVC4::CheckArgument().

CVC4::AbstractValue::~AbstractValue ( )
throw (
)
inline

Definition at line 36 of file abstract_value.h.

Member Function Documentation

const Integer& CVC4::AbstractValue::getIndex ( ) const
throw (
)
inline

Definition at line 39 of file abstract_value.h.

Referenced by CVC4::AbstractValueHashFunction::operator()().

bool CVC4::AbstractValue::operator!= ( const AbstractValue &  val) const
throw (
)
inline

Definition at line 46 of file abstract_value.h.

bool CVC4::AbstractValue::operator< ( const AbstractValue &  val) const
throw (
)
inline

Definition at line 50 of file abstract_value.h.

bool CVC4::AbstractValue::operator<= ( const AbstractValue &  val) const
throw (
)
inline

Definition at line 53 of file abstract_value.h.

bool CVC4::AbstractValue::operator== ( const AbstractValue &  val) const
throw (
)
inline

Definition at line 43 of file abstract_value.h.

bool CVC4::AbstractValue::operator> ( const AbstractValue &  val) const
throw (
)
inline

Definition at line 56 of file abstract_value.h.

bool CVC4::AbstractValue::operator>= ( const AbstractValue &  val) const
throw (
)
inline

Definition at line 59 of file abstract_value.h.

References CVC4_PUBLIC, CVC4::operator<<(), and CVC4::options::out.

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