Gluco2::Solver::JustOrderLt2 Struct Reference

#include <Solver.h>

Collaboration diagram for Gluco2::Solver::JustOrderLt2:

Public Member Functions
bool	operator() (const JustKey &x, const JustKey &y) const
	JustOrderLt2 (const Solver *_pS)

Public Attributes
const Solver *	pS

Detailed Description

Definition at line 443 of file Solver.h.

Constructor & Destructor Documentation

JustOrderLt2()

Gluco2::Solver::JustOrderLt2::JustOrderLt2 ( const Solver * _pS )

inline

Definition at line 451 of file Solver.h.

: pS(_pS) { }

Here is the call graph for this function:

Member Function Documentation

operator()()

bool Gluco2::Solver::JustOrderLt2::operator() ( const JustKey & x, const JustKey & y ) const

inline

Definition at line 445 of file Solver.h.

                                                                    {
            if( x.key() != y.key() ) return x.key() > y.key();
            if( pS->level( x.data() ) != pS->level( y.data() ) )
                return pS->level( x.data() ) < pS->level( y.data() );
            return x.data() > y.data();
        }

Here is the call graph for this function:

Member Data Documentation

pS

const Solver* Gluco2::Solver::JustOrderLt2::pS

Definition at line 444 of file Solver.h.

---

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

• src/sat/glucose2/Solver.h