de.uka.ilkd.key.strategy.termProjection

Class MonomialColumnOp

java.lang.Object

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

de.uka.ilkd.key.strategy.termProjection.MonomialColumnOp

All Implemented Interfaces:

ProjectionToTerm

public class MonomialColumnOp
extends AbstractDividePolynomialsProjection

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static ProjectionToTerm	create(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)
protected Term	divide(Monomial numerator, java.math.BigInteger denominator, Services services)

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

toTerm

Methods inherited from class java.lang.Object

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

Constructor Detail

MonomialColumnOp

private MonomialColumnOp(ProjectionToTerm leftCoefficient,
                         ProjectionToTerm polynomial)

Method Detail

create

public static ProjectionToTerm create(ProjectionToTerm leftCoefficient,
                                      ProjectionToTerm polynomial)

divide

protected Term divide(Monomial numerator,
                      java.math.BigInteger denominator,
                      Services services)

Specified by:

divide in class AbstractDividePolynomialsProjection