public class PredicateAbstractionCompletion extends MergeProcedureCompletion<MergeWithPredicateAbstraction>
MergeWithPredicateAbstraction
.Constructor and Description |
---|
PredicateAbstractionCompletion() |
Modifier and Type | Method and Description |
---|---|
MergeWithPredicateAbstraction |
complete(MergeWithPredicateAbstraction proc,
Pair<Goal,PosInOccurrence> joinGoalPio,
java.util.Collection<MergePartner> partners)
Completes the given merge procedure either automatically (if the procedure
is already complete) or by demanding input from the user in a GUI.
|
create, defaultCompletion, getCompletionForClass
public MergeWithPredicateAbstraction complete(MergeWithPredicateAbstraction proc, Pair<Goal,PosInOccurrence> joinGoalPio, java.util.Collection<MergePartner> partners)
MergeProcedureCompletion
complete
in class MergeProcedureCompletion<MergeWithPredicateAbstraction>
proc
- MergeProcedure
to complete.joinGoalPio
- The Goal
and PosInOccurrence
identifying the merge goal.partners
- The MergePartner
s chosen.MergeProcedure
.