SingleDegreeComparator Class Reference

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

#include <TermPredicate.h>

Inheritance diagram for SingleDegreeComparator:

Public Member Functions
	SingleDegreeComparator (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 ascending order according to degree of the specified variable.

Definition at line 126 of file TermPredicate.h.

Constructor & Destructor Documentation

SingleDegreeComparator()

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

Definition at line 103 of file TermPredicate.cpp.

Member Function Documentation

doPredicate()

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

inlineprivatevirtual

Implements TermPredicate.

Definition at line 131 of file TermPredicate.h.

Member Data Documentation

_var

size_t SingleDegreeComparator::_var

private

Definition at line 136 of file TermPredicate.h.

---

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

• src/TermPredicate.h
• src/TermPredicate.cpp