de.uka.ilkd.key.gui.mergerule.predicateabstraction

Class PredicateAbstractionCompletion

java.lang.Object

de.uka.ilkd.key.gui.mergerule.MergeProcedureCompletion<MergeWithPredicateAbstraction>

de.uka.ilkd.key.gui.mergerule.predicateabstraction.PredicateAbstractionCompletion

public class PredicateAbstractionCompletion
extends MergeProcedureCompletion<MergeWithPredicateAbstraction>

Completion class for MergeWithPredicateAbstraction.

Author:

Dominic Scheurer

Constructor Summary

Constructors

Constructor and Description
PredicateAbstractionCompletion()

Method Summary

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.

Methods inherited from class de.uka.ilkd.key.gui.mergerule.MergeProcedureCompletion

create, defaultCompletion, getCompletionForClass

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PredicateAbstractionCompletion

public PredicateAbstractionCompletion()

Method Detail

complete

public MergeWithPredicateAbstraction complete(MergeWithPredicateAbstraction proc,
                                              Pair<Goal,PosInOccurrence> joinGoalPio,
                                              java.util.Collection<MergePartner> partners)

Description copied from class: MergeProcedureCompletion

Completes the given merge procedure either automatically (if the procedure is already complete) or by demanding input from the user in a GUI.

Specified by:

complete in class MergeProcedureCompletion<MergeWithPredicateAbstraction>

Parameters:

proc - MergeProcedure to complete.

joinGoalPio - The Goal and PosInOccurrence identifying the merge goal.

partners - The MergePartners chosen.

Returns:

The completed MergeProcedure.