de.uka.ilkd.key.logic.op

Interfaces

• IObserverFunction
• IProgramMethod
• IProgramVariable
• Operator
• ParsableVariable
• QuantifiableVariable
• SchemaVariable
• SortedOperator
• SVSubstitute
• TermTransformer
• UpdateableOperator

Classes

• AbstractOperator
• AbstractSortedOperator
• AbstractSV
• AbstractTermTransformer
• ElementaryUpdate
• Equality
• FormulaSV
• Function
• IfExThenElse
• IfThenElse
• Junctor
• LocationVariable
• LogicVariable
• Modality
• ModalOperatorSV
• ObserverFunction
• ProgramConstant
• ProgramMethod
• ProgramSV
• ProgramVariable
• Quantifier
• SchemaVariableFactory
• SkolemTermSV
• SortDependingFunction
• SortDependingFunction.SortDependingFunctionTemplate
• SubstOp
• TermLabelSV
• TermSV
• Transformer
• UpdateApplication
• UpdateJunctor
• UpdateSV
• VariableSV
• WarySubstOp