TermPredicate.cpp File Reference

#include "stdinc.h"
#include "TermPredicate.h"
#include "NameFactory.h"

Go to the source code of this file.

Functions
auto_ptr< TermPredicate >	createTermPredicate (const string &prefix, size_t varCount)
	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
	)

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.