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:

• src/util/predicate.h