Minisat::Option::OptionLt Struct Reference

#include <Options.h>

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

Detailed Description

Definition at line 60 of file Options.h.

Member Function Documentation

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

inline

Definition at line 61 of file Options.h.

                                                          {
            int test1 = strcmp(x->category, y->category);
            return test1 < 0 || (test1 == 0 && strcmp(x->type_name, y->type_name) < 0);
        }

---

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

• Options.h