de.uka.ilkd.key.strategy.termgenerator

Class MultiplesModEquationsGenerator.CofactorMonomial

java.lang.Object

de.uka.ilkd.key.strategy.termgenerator.MultiplesModEquationsGenerator.CofactorItem

de.uka.ilkd.key.strategy.termgenerator.MultiplesModEquationsGenerator.CofactorMonomial

Enclosing class:

MultiplesModEquationsGenerator

private static class MultiplesModEquationsGenerator.CofactorMonomial
extends MultiplesModEquationsGenerator.CofactorItem

Field Summary

Fields

Modifier and Type	Field and Description
Monomial	mono

Fields inherited from class de.uka.ilkd.key.strategy.termgenerator.MultiplesModEquationsGenerator.CofactorItem

cofactor

Constructor Summary

Constructors

Constructor and Description
CofactorMonomial(Monomial mono, Polynomial cofactor)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

mono

public final Monomial mono

Constructor Detail

CofactorMonomial

public CofactorMonomial(Monomial mono,
                        Polynomial cofactor)