de.uka.ilkd.key.smt

Class NumberTranslation

java.lang.Object

de.uka.ilkd.key.smt.NumberTranslation

public final class NumberTranslation
extends Object

Translates a number into a string representation.

Field Summary

Fields

Modifier and Type	Field and Description
private static BigInteger[]	smallInts

Constructor Summary

Constructors

Modifier	Constructor and Description
private	NumberTranslation()

Method Summary

Modifier and Type	Method and Description
static 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 BigInteger[] smallInts

Constructor Detail

NumberTranslation

private NumberTranslation()

Method Detail

translate

public static 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