de.uka.ilkd.key.strategy.termProjection

Class DividePolynomialsProjection

java.lang.Object

de.uka.ilkd.key.strategy.termProjection.AbstractDividePolynomialsProjection

de.uka.ilkd.key.strategy.termProjection.DividePolynomialsProjection

All Implemented Interfaces:

ProjectionToTerm

public abstract class DividePolynomialsProjection
extends AbstractDividePolynomialsProjection

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DividePolynomialsProjection(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)

Method Summary

Modifier and Type	Method and Description
static ProjectionToTerm	createRoundingDown(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)
static ProjectionToTerm	createRoundingUp(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)
protected BigInteger	divide(BigInteger numerator, BigInteger denominator)

Methods inherited from class de.uka.ilkd.key.strategy.termProjection.AbstractDividePolynomialsProjection

divide, toTerm

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DividePolynomialsProjection

private DividePolynomialsProjection(ProjectionToTerm leftCoefficient,
                                    ProjectionToTerm polynomial)

Method Detail

createRoundingDown

public static ProjectionToTerm createRoundingDown(ProjectionToTerm leftCoefficient,
                                                  ProjectionToTerm polynomial)

createRoundingUp

public static ProjectionToTerm createRoundingUp(ProjectionToTerm leftCoefficient,
                                                ProjectionToTerm polynomial)

divide

protected BigInteger divide(BigInteger numerator,
                            BigInteger denominator)