CVCL::TheoryQuant::TypeComp Class Reference

List of all members.

Public Member Functions

• bool operator() (const Type t1, const Type t2) const

  < needed for typeMap
  

---

Detailed Description

Definition at line 55 of file theory_quant.h.

---

Member Function Documentation

bool CVCL::TheoryQuant::TypeComp::operator() (  const Type  t1, const Type  t2 )  const [inline]

< needed for typeMap Definition at line 57 of file theory_quant.h. References CVCL::Type::getExpr().

---

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

• theory_quant.h

---