de.uka.ilkd.key.smt

Class NumberTranslation

java.lang.Object

de.uka.ilkd.key.smt.NumberTranslation

public final class NumberTranslation
extends java.lang.Object

Translates a number into a string representation.

Field Summary

Fields

Modifier and Type	Field and Description
private static java.math.BigInteger[]	smallInts

Constructor Summary

Constructors

Modifier	Constructor and Description
private	NumberTranslation()

Method Summary

Modifier and Type	Method and Description
static java.math.BigInteger	translate(Term term) This methods translates a term with sort "numbers" into a BigInteger representing the number.

Methods inherited from class java.lang.Object

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

Field Detail

smallInts

private static final java.math.BigInteger[] smallInts

Constructor Detail

NumberTranslation

private NumberTranslation()

Method Detail

translate

public static java.math.BigInteger translate(Term term)

This methods translates a term with sort "numbers" into a BigInteger representing the number.

Parameters:

term - term with sort "numbers"

Returns:

An instance of BigInteger representing the number