de.uka.ilkd.key.rule.match.vm.instructions

Interfaces

• BindVariablesInstruction.VariableBinderSubinstruction
• MatchInstruction
• MatchOperatorInstruction

Classes

• BindVariablesInstruction
• BindVariablesInstruction.LogicVariableBinder
• BindVariablesInstruction.VariableSVBinder
• Instruction
• MatchElementaryUpdateInstruction
• MatchFormulaSVInstruction
• MatchModalOperatorSVInstruction
• MatchOpIdentityInstruction
• MatchProgramInstruction
• MatchProgramSVInstruction
• MatchSchemaVariableInstruction
• MatchSortDependingFunctionInstruction
• MatchTermLabelInstruction
• MatchTermSVInstruction
• MatchUpdateSVInstruction
• MatchVariableSVInstruction
• UnbindVariablesInstruction