public class Sort extends AlgebraicOperator
| Constructor and Description |
|---|
Sort()
Default constructor.
|
Sort(java.util.List<Variable> sortList)
Constructs a new sort operator.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<Variable> |
getSortList()
Retrieves all sort variables.
|
java.lang.Iterable<Variable> |
sorts()
Retrieves the sort's sort list.
|
java.lang.String |
toString()
A textual representation of this operation.
|
public Sort()
public Sort(java.util.List<Variable> sortList)
sortList - the sort list of this operation.public java.lang.Iterable<Variable> sorts()
public java.util.List<Variable> getSortList()
public java.lang.String toString()
toString in class java.lang.Object