ClauseLengthCompare Struct Reference

Provide a function object to compare clauses by size. More...

#include <ClauseComparisons.hpp>

Public Member Functions
bool	operator() (const ClauseAndRole &c1, const ClauseAndRole &c2) const

Detailed Description

Provide a function object to compare clauses by size.

As clause roles always get re-ordered with clauses this actually acts on pairs.

Definition at line 38 of file ClauseComparisons.hpp.

Member Function Documentation

operator()()

bool ClauseLengthCompare::operator() ( const ClauseAndRole & c1, const ClauseAndRole & c2 ) const

inline

Definition at line 39 of file ClauseComparisons.hpp.

                                                   {
        return (c1.first.size() < c2.first.size());
    }

---

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

• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/utilities/ClauseComparisons.hpp