CVCL::Type Member List

This is the complete list of members for CVCL::Type, including all inherited members.

arity() const	CVCL::Type	[inline]
d_expr	CVCL::Type	[private]
funType(const std::vector< Type > &typeDom, const Type &typeRan)	CVCL::Type	[static]
funType(const Type &typeRan) const	CVCL::Type	[inline]
getExpr() const	CVCL::Type	[inline]
isBool() const	CVCL::Type	[inline]
isFunction() const	CVCL::Type	[inline]
isNull() const	CVCL::Type	[inline]
isSubtype() const	CVCL::Type	[inline]
operator[](int i) const	CVCL::Type	[inline]
toString() const	CVCL::Type	[inline]
Type()	CVCL::Type	[inline]
Type(Expr expr)	CVCL::Type
Type(Expr expr, bool dummy)	CVCL::Type	[inline]
typeBool(ExprManager *em)	CVCL::Type	[inline, static]

---