de.uka.ilkd.key.strategy.termgenerator

Class MultiplesModEquationsGenerator.CofactorItem

java.lang.Object

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

Direct Known Subclasses:

MultiplesModEquationsGenerator.CofactorMonomial, MultiplesModEquationsGenerator.CofactorPolynomial

Enclosing class:

MultiplesModEquationsGenerator

private abstract static class MultiplesModEquationsGenerator.CofactorItem
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Polynomial	cofactor

Constructor Summary

Constructors

Constructor and Description
CofactorItem(Polynomial cofactor)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

cofactor

public final Polynomial cofactor

Constructor Detail

CofactorItem

public CofactorItem(Polynomial cofactor)