Package | Description |
---|---|
de.uka.ilkd.key.gui.join | |
de.uka.ilkd.key.proof.join |
Modifier and Type | Method and Description |
---|---|
ProspectivePartner |
JoinDialog.getSelectedPartner() |
Constructor and Description |
---|
JoinDialog(java.util.List<ProspectivePartner> partnerList,
Proof proof,
PredicateEstimator estimator,
Services services) |
JoinMenuItem(java.util.List<ProspectivePartner> partner,
Proof proof,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ProspectivePartner> |
JoinIsApplicable.computeProspecitvePartner(Goal goal,
PosInOccurrence pio)
Computes the partners for the given selection.
|
java.util.List<ProspectivePartner> |
JoinIsApplicable.isApplicable(Goal goal,
PosInOccurrence pio) |
Modifier and Type | Method and Description |
---|---|
PredicateEstimator.Result |
PredicateEstimator.estimate(ProspectivePartner partner,
Proof proof) |
Constructor and Description |
---|
JoinProcessor(ProspectivePartner partner,
Proof proof) |
Copyright © 2003-2019 The KeY-Project.