smtrat::vs::substitutionPointerEqual Struct Reference

#include <Substitution.h>

Public Member Functions
bool	operator() (const Substitution *_substitutionA, const Substitution *_substitutionB) const

Detailed Description

Definition at line 209 of file Substitution.h.

Member Function Documentation

operator()()

bool smtrat::vs::substitutionPointerEqual::operator() ( const Substitution *  _substitutionA, const Substitution *  _substitutionB  ) const

inline

Definition at line 211 of file Substitution.h.

---

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

• smtrat-modules/VSModule/Substitution.h