Minisat::Option::OptionLt Struct Reference

#include <Options.h>

Public Member Functions
bool	operator() (const Option *x, const Option *y)

Detailed Description

Definition at line 69 of file Options.h.

Member Function Documentation

operator()()

bool Minisat::Option::OptionLt::operator() ( const Option *  x, const Option *  y  )

inline

Definition at line 71 of file Options.h.

---

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

• smtrat-modules/SATModule/Options.h