smtrat::icp::contractionCandidateComp Struct Reference

#include <ContractionCandidate.h>

Public Member Functions
bool	operator() (const ContractionCandidate *const lhs, const ContractionCandidate *const rhs) const

Detailed Description

Definition at line 327 of file ContractionCandidate.h.

Member Function Documentation

operator()()

bool smtrat::icp::contractionCandidateComp::operator() ( const ContractionCandidate *const  lhs, const ContractionCandidate *const  rhs  ) const

inline

Definition at line 329 of file ContractionCandidate.h.

Here is the call graph for this function:

---

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

• smtrat-modules/ICPModule/ContractionCandidate.h