Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.rule.metaconstruct.arith |
contains classes representing the special meta constructs of
Taclet s performing arithmetic operations. |
de.uka.ilkd.key.strategy.feature |
Modifier and Type | Method and Description |
---|---|
LRUCache<Term,Polynomial> |
ServiceCaches.getPolynomialCache() |
Modifier and Type | Field and Description |
---|---|
static Polynomial |
Polynomial.ONE
The polynomial expression of the BigInteger constant '1'.
|
static Polynomial |
Polynomial.ZERO
The polynomial expression of the BigInteger constant '0'.
|
Modifier and Type | Method and Description |
---|---|
Polynomial |
Polynomial.add(java.math.BigInteger c) |
Polynomial |
Polynomial.add(Monomial m) |
Polynomial |
Polynomial.add(Polynomial p) |
static Polynomial |
Polynomial.create(Term polyTerm,
Services services) |
Polynomial |
Polynomial.multiply(java.math.BigInteger c) |
Polynomial |
Polynomial.multiply(Monomial m) |
Polynomial |
Polynomial.sub(Polynomial p) |
Modifier and Type | Method and Description |
---|---|
Polynomial |
Polynomial.add(Polynomial p) |
boolean |
Polynomial.sameParts(Polynomial p) |
Polynomial |
Polynomial.sub(Polynomial p) |
boolean |
Polynomial.valueEq(Polynomial p) |
boolean |
Polynomial.valueLeq(Polynomial p) |
boolean |
Polynomial.valueLess(Polynomial p) |
boolean |
Polynomial.valueUneq(Polynomial p) |
Modifier and Type | Method and Description |
---|---|
protected abstract boolean |
PolynomialValuesCmpFeature.compare(Polynomial leftPoly,
Polynomial rightPoly) |
Copyright © 2003-2019 The KeY-Project.