cvc4-1.4
CVC4::Predicate Class Reference

#include <predicate.h>

Public Member Functions

 Predicate (Expr e, Expr w=Expr()) throw (IllegalArgumentException)
 
 operator Expr () const
 
bool operator== (const Predicate &p) const
 

Friends

std::ostream & CVC4::operator<< (std::ostream &out, const Predicate &p)
 
size_t PredicateHashFunction::operator() (const Predicate &p) const
 

Detailed Description

Definition at line 42 of file predicate.h.

Constructor & Destructor Documentation

CVC4::Predicate::Predicate ( Expr  e,
Expr  w = Expr() 
)
throw (IllegalArgumentException
)

Member Function Documentation

CVC4::Predicate::operator Expr ( ) const
bool CVC4::Predicate::operator== ( const Predicate p) const

Friends And Related Function Documentation

std::ostream& CVC4::operator<< ( std::ostream &  out,
const Predicate p 
)
friend
size_t PredicateHashFunction::operator() ( const Predicate p) const
friend

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