public final class NumberTranslation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static java.math.BigInteger[] |
smallInts |
Modifier | Constructor and Description |
---|---|
private |
NumberTranslation() |
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.
|
public static java.math.BigInteger translate(Term term)
term
- term with sort "numbers"