public final class NumberTranslation
extends java.lang.Object
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"Copyright © 2003-2019 The KeY-Project.