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

Public Member Functions
bool	operator() (const ClauseRoleName &c1, const ClauseRoleName &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 ClauseRoleName &	c1,
		const ClauseRoleName &	c2 ) const

inline

Definition at line 39 of file ClauseComparisons.hpp.

                                                    {
        return (std::get<0>(c1).size() < std::get<0>(c2).size());
    }

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

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