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 | |
de.uka.ilkd.key.strategy.termProjection |
Modifier and Type | Method and Description |
---|---|
LRUCache<Term,Monomial> |
ServiceCaches.getMonomialCache() |
Modifier and Type | Field and Description |
---|---|
static Monomial |
Monomial.ONE |
Modifier and Type | Method and Description |
---|---|
Monomial |
Monomial.addToCoefficient(java.math.BigInteger c) |
static Monomial |
Monomial.create(Term monoTerm,
Services services) |
Monomial |
Monomial.divideLCR(Monomial m) |
Monomial |
Monomial.multiply(java.math.BigInteger c) |
Monomial |
Monomial.multiply(Monomial m) |
Monomial |
Monomial.reduce(Monomial m) |
Monomial |
Monomial.setCoefficient(java.math.BigInteger c) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<Monomial> |
Polynomial.getParts() |
Modifier and Type | Method and Description |
---|---|
Polynomial |
Polynomial.add(Monomial m) |
Monomial |
Monomial.divideLCR(Monomial m) |
boolean |
Monomial.divides(Monomial m) |
Polynomial |
Polynomial.multiply(Monomial m) |
Monomial |
Monomial.multiply(Monomial m) |
Monomial |
Monomial.reduce(Monomial m) |
boolean |
Monomial.reducible(Monomial m) |
boolean |
Monomial.variablesAreCoprime(Monomial m) |
boolean |
Monomial.variablesDisjoint(Monomial m) |
boolean |
Monomial.variablesEqual(Monomial m) |
boolean |
Monomial.variablesSubsume(Monomial m) |
Modifier and Type | Method and Description |
---|---|
protected abstract boolean |
ReducibleMonomialsFeature.checkReducibility(Monomial mDividend,
Monomial mDivisor) |
protected abstract boolean |
InEquationMultFeature.filter(Monomial targetM,
Monomial mult1M,
Monomial mult2M) |
Modifier and Type | Method and Description |
---|---|
protected Term |
MonomialColumnOp.divide(Monomial numerator,
java.math.BigInteger denominator,
Services services) |
protected abstract Term |
AbstractDividePolynomialsProjection.divide(Monomial numerator,
java.math.BigInteger denominator,
Services services) |
Copyright © 2003-2019 The KeY-Project.