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

Class Monomial.Analyser

java.lang.Object

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

Enclosing class:

Monomial

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

Field Summary

Fields

Modifier and Type	Field and Description
java.math.BigInteger	coeff
private Operator	mul
private Operator	numbers
ImmutableList<Term>	parts
private Services	services

Constructor Summary

Constructors

Constructor and Description
Analyser(Services services)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

coeff

public java.math.BigInteger coeff

parts

public ImmutableList<Term> parts

services

private final Services services

numbers

private final Operator numbers

mul

private final Operator mul

Constructor Detail

Analyser

public Analyser(Services services)

Method Detail

analyse

public void analyse(Term monomial)