smtrat::icp::icpVariableComp Struct Reference

#include <IcpVariable.h>

Public Member Functions
bool	operator() (const IcpVariable *const _lhs, const IcpVariable *const _rhs) const

Detailed Description

Definition at line 328 of file IcpVariable.h.

Member Function Documentation

operator()()

bool smtrat::icp::icpVariableComp::operator() ( const IcpVariable *const  _lhs, const IcpVariable *const  _rhs  ) const

inline

Definition at line 330 of file IcpVariable.h.

Here is the call graph for this function:

---

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

• smtrat-modules/ICPModule/IcpVariable.h