public class TermHelper
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Sort |
getMaxSort(Term term,
int i,
TermServices services)
helper function to determine the maximal sort the term
tSub may have as i sub term
This method will become obsolete in the near future as all operators
will become a fixed signature.
|
public static Sort getMaxSort(Term term, int i, TermServices services)
term
- the Term of which a part of the i-th sub term
may be replacedi
- an int giving the position of sub term of which a part is to be replacedservices
- the Services objectCopyright © 2003-2019 The KeY-Project.