de.uka.ilkd.key.rule.merge

Interfaces

• MergeRule.MergeRuleProgressListener

Classes

• CloseAfterMerge
• CloseAfterMergeRuleBuiltInRuleApp
• MergePartner
• MergeProcedure
• MergeProcedure.ValuesMergeResult
• MergeRule
• MergeRuleBuiltInRuleApp