Package | Description |
---|---|
de.uka.ilkd.key.rule.merge | |
de.uka.ilkd.key.rule.merge.procedures |
Modifier and Type | Method and Description |
---|---|
protected MergeProcedure.ValuesMergeResult |
MergeRule.mergeHeaps(MergeProcedure mergeRule,
LocationVariable heapVar,
Term heap1,
Term heap2,
SymbolicExecutionState state1,
SymbolicExecutionState state2,
Term distinguishingFormula,
Services services)
Merges two heaps in a zip-like procedure.
|
abstract MergeProcedure.ValuesMergeResult |
MergeProcedure.mergeValuesInStates(Term v,
SymbolicExecutionState state1,
Term valueInState1,
SymbolicExecutionState state2,
Term valueInState2,
Term distinguishingFormula,
Services services)
Merges two values valueInState1 and valueInState2 of corresponding SE
states state1 and state2 to a new value of a merge state.
|
Copyright © 2003-2019 The KeY-Project.