abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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.

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

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