Package | Description |
---|---|
de.uka.ilkd.key.rule.merge |
Modifier and Type | Method and Description |
---|---|
void |
MergeRuleBuiltInRuleApp.registerProgressListener(MergeRule.MergeRuleProgressListener listener) |
boolean |
MergeRuleBuiltInRuleApp.removeProgressListener(MergeRule.MergeRuleProgressListener listener) |
Constructor and Description |
---|
MergeRuleBuiltInRuleApp(BuiltInRule rule,
PosInOccurrence pio,
ImmutableList<PosInOccurrence> ifInsts,
Node mergeNode,
ImmutableList<MergePartner> mergePartners,
MergeProcedure concreteRule,
SymbolicExecutionStateWithProgCnt thisSEState,
ImmutableList<SymbolicExecutionState> mergePartnerStates,
Term distForm,
java.util.ArrayList<MergeRule.MergeRuleProgressListener> progressListeners) |
Copyright © 2003-2019 The KeY-Project.