smtrat::ICPModule< Settings >::formulaPtrComp Struct Reference

#include <ICPModule.h>

Public Member Functions
bool	operator() (const FormulaT &_lhs, const FormulaT &_rhs) const

Detailed Description

template<class Settings>
struct smtrat::ICPModule< Settings >::formulaPtrComp

Definition at line 52 of file ICPModule.h.

Member Function Documentation

operator()()

template<class Settings >

bool smtrat::ICPModule< Settings >::formulaPtrComp::operator() ( const FormulaT &  _lhs, const FormulaT &  _rhs  ) const

inline

Definition at line 54 of file ICPModule.h.

---

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

• smtrat-modules/ICPModule/ICPModule.h