public static class Arithmetic.Polynomial.Term extends Object implements Comparable<Arithmetic.Polynomial.Term>
| 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() |
public BigInteger getCoefficient()
public boolean isConstant()
public WyalFile.Expr[] getAtoms()
public int compareTo(Arithmetic.Polynomial.Term t)
compareTo in interface Comparable<Arithmetic.Polynomial.Term>public Arithmetic.Polynomial.Term negate()
public Arithmetic.Polynomial.Term multiply(BigInteger rhs)
public WyalFile.Expr toExpression()
Copyright © 2017. All rights reserved.