Collaboration diagram for CVC3::TheoryQuant::TypeComp:

Public Member Functions
bool	operator() (const Type t1, const Type t2) const
	< needed for typeMap

Detailed Description

Definition at line 192 of file theory_quant.h.

Member Function Documentation

bool CVC3::TheoryQuant::TypeComp::operator()	(	const Type	t1,
		const Type	t2
	)		const

inline

< needed for typeMap

Definition at line 194 of file theory_quant.h.

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