Package | Description |
---|---|
de.uka.ilkd.key.gui.mergerule.predicateabstraction | |
de.uka.ilkd.key.rule.merge.procedures |
Modifier and Type | Method and Description |
---|---|
MergeWithPredicateAbstraction |
PredicateAbstractionCompletion.complete(MergeWithPredicateAbstraction proc,
Pair<Goal,PosInOccurrence> joinGoalPio,
java.util.Collection<MergePartner> partners) |
Modifier and Type | Method and Description |
---|---|
MergeWithPredicateAbstraction |
PredicateAbstractionCompletion.complete(MergeWithPredicateAbstraction proc,
Pair<Goal,PosInOccurrence> joinGoalPio,
java.util.Collection<MergePartner> partners) |
Modifier and Type | Class and Description |
---|---|
class |
MergeWithPredicateAbstractionFactory
A factory class for
MergeWithPredicateAbstraction which is itself a
MergeProcedure . |
Modifier and Type | Method and Description |
---|---|
MergeWithPredicateAbstraction |
MergeWithPredicateAbstractionFactory.instantiate(java.lang.Iterable<AbstractionPredicate> predicates,
java.lang.Class<? extends AbstractPredicateAbstractionLattice> latticeType,
java.util.LinkedHashMap<ProgramVariable,AbstractDomainElement> userChoices)
Creates a complete instance of
MergeWithPredicateAbstraction . |
Copyright © 2003-2019 The KeY-Project.