Package | Description |
---|---|
de.uka.ilkd.key.gui.join | |
de.uka.ilkd.key.proof.join |
Class and Description |
---|
PredicateEstimator
Responsible for estimating decision predicates for a join.
|
ProspectivePartner
Represents the partners of a join operation.
|
Class and Description |
---|
JoinIsApplicable
Methods for checking the applicability of a join for a given selection
and thereby computing the prospective join partners.
|
JoinProcessor.Listener |
LateApplicationCheck
Methods for computing conflicts affecting a delayed cut application.
|
PredicateEstimator
Responsible for estimating decision predicates for a join.
|
PredicateEstimator.Result
Encapsulates a decision predicate for the delayed cut mechanism and the
common parent node at which to prune, i.e.
|
ProspectivePartner
Represents the partners of a join operation.
|
Copyright © 2003-2019 The KeY-Project.