Frobby  0.9.5
Public Member Functions | Private Member Functions | Private Attributes | List of all members
ReverseSingleDegreeComparator Class Reference

A predicate that sorts terms in weakly descending order according to degree of the specified variable. More...

#include <TermPredicate.h>

Inheritance diagram for ReverseSingleDegreeComparator:
TermPredicate

Public Member Functions

 ReverseSingleDegreeComparator (size_t var, size_t varCount=0)
 
- Public Member Functions inherited from TermPredicate
 TermPredicate (size_t varCount=0)
 
virtual ~TermPredicate ()
 
bool operator() (const Term &a, const Term &b) const
 
bool operator() (const Term &a, const Exponent *b) const
 
bool operator() (const Exponent *a, const Term &b) const
 
bool operator() (const Exponent *a, const Exponent *b) const
 
size_t getVarCount () const
 
void setVarCount (size_t varCount)
 

Private Member Functions

virtual bool doPredicate (const Exponent *a, const Exponent *b) const
 

Private Attributes

size_t _var
 

Detailed Description

A predicate that sorts terms in weakly descending order according to degree of the specified variable.

Definition at line 141 of file TermPredicate.h.

Constructor & Destructor Documentation

◆ ReverseSingleDegreeComparator()

ReverseSingleDegreeComparator::ReverseSingleDegreeComparator ( size_t  var,
size_t  varCount = 0 
)

Definition at line 108 of file TermPredicate.cpp.

Member Function Documentation

◆ doPredicate()

virtual bool ReverseSingleDegreeComparator::doPredicate ( const Exponent a,
const Exponent b 
) const
inlineprivatevirtual

Implements TermPredicate.

Definition at line 146 of file TermPredicate.h.

Member Data Documentation

◆ _var

size_t ReverseSingleDegreeComparator::_var
private

Definition at line 151 of file TermPredicate.h.


The documentation for this class was generated from the following files: