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