public interface PredicateEstimator
Modifier and Type | Interface and Description |
---|---|
static interface |
PredicateEstimator.Result
Encapsulates a decision predicate for the delayed cut mechanism and the
common parent node at which to prune, i.e. apply the delayed cut.
|
Modifier and Type | Field and Description |
---|---|
static PredicateEstimator |
STD_ESTIMATOR |
Modifier and Type | Method and Description |
---|---|
PredicateEstimator.Result |
estimate(ProspectivePartner partner,
Proof proof) |
static final PredicateEstimator STD_ESTIMATOR
PredicateEstimator.Result estimate(ProspectivePartner partner, Proof proof)
partner
- Structure comprising the partners of a join.proof
- The underlying proof.