getMaxSort
public 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. But currently there ar eto many chnages
pending (new sort hierarchy for integers, new pos) that much of the work would be
for made new. That is the reason for this HACK
- Parameters:
term
- the Term of which a part of the i-th sub term
may be replaced
i
- an int giving the position of sub term of which a part is to be replaced
services
- the Services object
- Returns:
- the maximal sort allowed at the i-th position