Gluco::Option::OptionLt Struct Reference

#include <Options.h>

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

Detailed Description

Definition at line 64 of file Options.h.

Member Function Documentation

operator()()

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

inline

Definition at line 65 of file Options.h.

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

Here is the call graph for this function:

---

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

• src/sat/glucose/Options.h