Package | Description |
---|---|
de.uka.ilkd.key.util.mergerule |
Modifier and Type | Method and Description |
---|---|
static MergeRuleUtils.Option<Pair<Term,Term>> |
MergeRuleUtils.getDistinguishingFormula(java.util.ArrayList<Term> conjElemsPathCond1,
java.util.ArrayList<Term> conjElemsPathCond2,
Services services) |
static MergeRuleUtils.Option<Pair<Term,Term>> |
MergeRuleUtils.getDistinguishingFormula(Term pathCondition1,
Term pathCondition2,
Services services)
Computes a formula that implies pathCondition1 and, if pathCondition1 and
pathCondition2 are contradicting, does not imply pathCondition2.
|
static MergeRuleUtils.Option<Term> |
MergeRuleUtils.getUpdateRightSideForSafe(Term update,
LocationVariable leftSide)
Returns the right side for a given location variable in an update (in
normal form).
|
static <T> MergeRuleUtils.Option<T> |
MergeRuleUtils.wrapOption(T obj)
Wraps the given object s.th.
|
Copyright © 2003-2019 The KeY-Project.