de.uka.ilkd.key.rule.merge.procedures

Interfaces

• ParametricMergeProcedure
• UnparametricMergeProcedure

Classes

• MergeByIfThenElse
• MergeIfThenElseAntecedent
• MergeTotalWeakening
• MergeWithLatticeAbstraction
• MergeWithPredicateAbstraction
• MergeWithPredicateAbstractionFactory