de.uka.ilkd.key.rule.metaconstruct.arith

Class Polynomial.Analyser

java.lang.Object

de.uka.ilkd.key.rule.metaconstruct.arith.Polynomial.Analyser

Enclosing class:

Polynomial

private static class Polynomial.Analyser
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private Operator	add
java.math.BigInteger	constantPart
private Operator	numbers
ImmutableList<Monomial>	parts
private Services	services
private TypeConverter	tc

Constructor Summary

Constructors

Constructor and Description
Analyser(Services services)

Method Summary

Modifier and Type	Method and Description
void	analyse(Term polynomial)

Methods inherited from class java.lang.Object

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

Field Detail

constantPart

public java.math.BigInteger constantPart

parts

public ImmutableList<Monomial> parts

services

private final Services services

tc

private final TypeConverter tc

numbers

private final Operator numbers

add

private final Operator add

Constructor Detail

Analyser

public Analyser(Services services)

Method Detail

analyse

public void analyse(Term polynomial)