TermPredicate.h File Reference

#include "Term.h"

Go to the source code of this file.

Classes
class	TermPredicate
class	StlTermPredicate
	Adapter for TermPredicate which allows it to be used as a predicate in STL. More...
class	LexComparator
	A predicate that sorts terms according to lexicographic order. More...
class	ReverseLexComparator
	A predicate that sorts according to reverse lexicographic order. More...
class	SingleDegreeComparator
	A predicate that sorts terms in weakly ascending order according to degree of the specified variable. More...
class	ReverseSingleDegreeComparator
	A predicate that sorts terms in weakly descending order according to degree of the specified variable. More...
class	EqualsPredicate
	A predicate that compares for equality. More...

Functions
auto_ptr< TermPredicate >	createTermPredicate (const string &prefix, size_t varCount=0)
	Returns the predicate whose name has the given prefix. More...
int	lexCompare (const Exponent *a, const Exponent *b, size_t varCount)
	Indicates how a relates to b according to the lexicographic term order where . More...
int	lexCompare (const Term &a, const Term &b)
int	reverseLexCompare (const Exponent *a, const Exponent *b, size_t varCount)
	Indicates how a relates to b according to the reverse lexicographic term order where . More...
bool	equals (const Exponent *a, const Exponent *b, size_t varCount)
	Returns whether the entries of a are equal to the entries of b. More...

Function Documentation

createTermPredicate()

auto_ptr<TermPredicate> createTermPredicate	(	const string &	prefix,
		size_t	varCount = 0
	)

Returns the predicate whose name has the given prefix.

Definition at line 43 of file TermPredicate.cpp.

equals()

bool equals	(	const Exponent *	a,
		const Exponent *	b,
		size_t	varCount
	)

Returns whether the entries of a are equal to the entries of b.

Definition at line 77 of file TermPredicate.cpp.

lexCompare() [1/2]

int lexCompare	(	const Exponent *	a,
		const Exponent *	b,
		size_t	varCount
	)

Indicates how a relates to b according to the lexicographic term order where .

Returns -1 if a < b, returns 0 if a = b and returns 1 if a > b. As an example .

Definition at line 50 of file TermPredicate.cpp.

lexCompare() [2/2]

int lexCompare	(	const Term &	a,
		const Term &	b
	)

Definition at line 66 of file TermPredicate.cpp.

reverseLexCompare()

int reverseLexCompare	(	const Exponent *	a,
		const Exponent *	b,
		size_t	varCount
	)

Indicates how a relates to b according to the reverse lexicographic term order where .

Returns -1 if a < b, returns 0 if a = b and returns 1 if a > b. As an example .

Definition at line 71 of file TermPredicate.cpp.