wytp.proof.util

Class Arithmetic.Polynomial.Term

java.lang.Object

wytp.proof.util.Arithmetic.Polynomial.Term

All Implemented Interfaces:

Comparable<Arithmetic.Polynomial.Term>

Enclosing class:

Arithmetic.Polynomial

public static class Arithmetic.Polynomial.Term
extends Object
implements Comparable<Arithmetic.Polynomial.Term>

Method Summary

Modifier and Type	Method and Description
int	compareTo(Arithmetic.Polynomial.Term t)
boolean	equals(Object o)
WyalFile.Expr[]	getAtoms()
BigInteger	getCoefficient()
int	hashCode()
boolean	isConstant()
Arithmetic.Polynomial.Term	multiply(BigInteger rhs)
Arithmetic.Polynomial.Term	negate()
WyalFile.Expr	toExpression()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getCoefficient

public BigInteger getCoefficient()

isConstant

public boolean isConstant()

getAtoms

public WyalFile.Expr[] getAtoms()

compareTo

public int compareTo(Arithmetic.Polynomial.Term t)

Specified by:

compareTo in interface Comparable<Arithmetic.Polynomial.Term>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

negate

public Arithmetic.Polynomial.Term negate()

multiply

public Arithmetic.Polynomial.Term multiply(BigInteger rhs)

toExpression

public WyalFile.Expr toExpression()

toString

public String toString()

Overrides:

toString in class Object