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

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

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++/v0.5.0/source/utilities/ClauseComparisons.hpp