cvc4-1.4
CVC4::ArrayStoreAll Class Reference

#include <array_store_all.h>

Public Member Functions

 ArrayStoreAll (ArrayType type, Expr expr) throw (IllegalArgumentException)
 
 ~ArrayStoreAll () throw ()
 
ArrayType getType () const throw ()
 
Expr getExpr () const throw ()
 
bool operator== (const ArrayStoreAll &asa) const throw ()
 
bool operator!= (const ArrayStoreAll &asa) const throw ()
 
bool operator< (const ArrayStoreAll &asa) const throw ()
 
bool operator<= (const ArrayStoreAll &asa) const throw ()
 
bool operator> (const ArrayStoreAll &asa) const throw ()
 
bool operator>= (const ArrayStoreAll &asa) const throw ()
 

Detailed Description

Definition at line 35 of file array_store_all.h.

Constructor & Destructor Documentation

CVC4::ArrayStoreAll::ArrayStoreAll ( ArrayType  type,
Expr  expr 
)
throw (IllegalArgumentException
)
inline

Definition at line 41 of file array_store_all.h.

References CVC4::CheckArgument().

CVC4::ArrayStoreAll::~ArrayStoreAll ( )
throw (
)
inline

Definition at line 53 of file array_store_all.h.

Member Function Documentation

Expr CVC4::ArrayStoreAll::getExpr ( ) const
throw (
)
inline

Definition at line 59 of file array_store_all.h.

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

ArrayType CVC4::ArrayStoreAll::getType ( ) const
throw (
)
inline

Definition at line 56 of file array_store_all.h.

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

bool CVC4::ArrayStoreAll::operator!= ( const ArrayStoreAll asa) const
throw (
)
inline

Definition at line 66 of file array_store_all.h.

bool CVC4::ArrayStoreAll::operator< ( const ArrayStoreAll asa) const
throw (
)
inline

Definition at line 70 of file array_store_all.h.

bool CVC4::ArrayStoreAll::operator<= ( const ArrayStoreAll asa) const
throw (
)
inline

Definition at line 74 of file array_store_all.h.

bool CVC4::ArrayStoreAll::operator== ( const ArrayStoreAll asa) const
throw (
)
inline

Definition at line 63 of file array_store_all.h.

bool CVC4::ArrayStoreAll::operator> ( const ArrayStoreAll asa) const
throw (
)
inline

Definition at line 78 of file array_store_all.h.

bool CVC4::ArrayStoreAll::operator>= ( const ArrayStoreAll asa) const
throw (
)
inline

Definition at line 81 of file array_store_all.h.

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


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