de.uka.ilkd.key.rule.match.legacy

Classes

• ElementMatcher
• ElementMatcher.AbstractSVMatcher
• ElementMatcher.ElementaryUpdateMatcher
• ElementMatcher.FormulaSVMatcher
• ElementMatcher.IdentityOperatorMatcher
• ElementMatcher.LogicVariableMatcher
• ElementMatcher.ModalOperatorSVMatcher
• ElementMatcher.ProgramSVMatcher
• ElementMatcher.SkolemTermSVMatcher
• ElementMatcher.SortDependingFunctionMatcher
• ElementMatcher.TermLabelSVMatcher
• ElementMatcher.TermSVMatcher
• ElementMatcher.UpdateSVMatcher
• ElementMatcher.VariableSVMatcher
• LegacyTacletMatcher