Package | Description |
---|---|
de.uka.ilkd.key.rule.merge | |
de.uka.ilkd.key.util.mergerule |
Modifier and Type | Method and Description |
---|---|
SymbolicExecutionStateWithProgCnt |
MergeRuleBuiltInRuleApp.getMergeSEState() |
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) |
Modifier and Type | Method and Description |
---|---|
static SymbolicExecutionStateWithProgCnt |
MergeRuleUtils.sequentToSETriple(Node node,
PosInOccurrence pio,
Services services)
Converts a sequent (given by goal & pos in occurrence) to an SE state
(U,C,p).
|
Copyright © 2003-2019 The KeY-Project.