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