Uses of Class
wytp.proof.util.Arithmetic.Polynomial.Term

Packages that use Arithmetic.Polynomial.Term

Package	Description
wytp.proof.rules
wytp.proof.util

Uses of Arithmetic.Polynomial.Term in wytp.proof.rules

Methods in wytp.proof.rules that return Arithmetic.Polynomial.Term

Modifier and Type	Method and Description
static Arithmetic.Polynomial.Term	CongruenceClosure.selectCandidateForSubstitution(Arithmetic.Polynomial p) Examine all terms in a polynomial to see whether any is a candidate for substitution or not.

Uses of Arithmetic.Polynomial.Term in wytp.proof.util

Methods in wytp.proof.util that return Arithmetic.Polynomial.Term

Modifier and Type	Method and Description
Arithmetic.Polynomial.Term	Arithmetic.Polynomial.getTerm(int i)
Arithmetic.Polynomial.Term	Arithmetic.Polynomial.Term.multiply(BigInteger rhs)
Arithmetic.Polynomial.Term	Arithmetic.Polynomial.Term.negate()

Methods in wytp.proof.util with parameters of type Arithmetic.Polynomial.Term

Modifier and Type	Method and Description
Arithmetic.Polynomial	Arithmetic.Polynomial.add(Arithmetic.Polynomial.Term p)
int	Arithmetic.Polynomial.Term.compareTo(Arithmetic.Polynomial.Term t)
Arithmetic.Polynomial	Arithmetic.Polynomial.multiply(Arithmetic.Polynomial.Term rhs)
Arithmetic.Polynomial	Arithmetic.Polynomial.subtract(Arithmetic.Polynomial.Term p)