smtrat::vs::unsignedTripleCmp Struct Reference

#include <State.h>

Public Member Functions
bool	operator() (UnsignedTriple n1, UnsignedTriple n2) const

Detailed Description

Definition at line 38 of file State.h.

Member Function Documentation

operator()()

bool smtrat::vs::unsignedTripleCmp::operator() ( UnsignedTriple  n1, UnsignedTriple  n2  ) const

inline

Definition at line 40 of file State.h.

---

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

• smtrat-modules/VSModule/State.h