JavaScript is disabled on your browser.
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
de.uka.ilkd.key.logic
Interface Sorted
All Known Subinterfaces:
Term
All Known Implementing Classes:
AbstractSortedOperator
,
AbstractSV
,
AbstractTermTransformer
,
AddCast
,
ArrayBaseInstanceOf
,
ConstantValue
,
DivideLCRMonomials
,
DivideMonomials
,
ElementaryUpdate
,
EnumConstantValue
,
Equality
,
ExpandQueriesMetaConstruct
,
FormulaSV
,
Function
,
IntroAtPreDefsOp
,
Junctor
,
LabeledTermImpl
,
LocationVariable
,
LogicVariable
,
MemberPVToField
,
MetaAdd
,
MetaArithBitMaskOp
,
MetaBinaryAnd
,
MetaBinaryOr
,
MetaBinaryXOr
,
MetaDiv
,
MetaEqual
,
MetaGeq
,
MetaGreater
,
MetaLeq
,
MetaLess
,
MetaMul
,
MetaPow
,
MetaShift
,
MetaShiftLeft
,
MetaShiftRight
,
MetaSub
,
Metavariable
,
Modality
,
ModalOperatorSV
,
ObserverFunction
,
ProgramConstant
,
ProgramMethod
,
ProgramSV
,
ProgramVariable
,
Quantifier
,
SkolemTermSV
,
SortDependingFunction
,
TermImpl
,
TermLabelSV
,
TermSV
,
Transformer
,
UpdateJunctor
,
UpdateSV
,
VariableSV
public interface
Sorted
Method Summary
Methods
Modifier and Type
Method and Description
Sort
sort
()
Method Detail
sort
Sort
sort()
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method