public interface SortedOperator extends Operator
Modifier and Type | Method and Description |
---|---|
Sort |
argSort(int i) |
ImmutableArray<Sort> |
argSorts() |
Sort |
sort() |
arity, bindVarsAt, isRigid, sort, validTopLevel, validTopLevelException
Sort sort()
Sort argSort(int i)
ImmutableArray<Sort> argSorts()
Copyright © 2003-2019 The KeY-Project.