class StdPredicateEstimator extends java.lang.Object implements PredicateEstimator
PredicateEstimator.Result
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
CUT_LABEL |
private static java.lang.String |
FALSE_LABEL |
private static java.lang.String |
TRUE_LABEL |
STD_ESTIMATOR
Constructor and Description |
---|
StdPredicateEstimator() |
Modifier and Type | Method and Description |
---|---|
PredicateEstimator.Result |
estimate(ProspectivePartner partner,
Proof proof) |
private Node |
getFirstDifferentNode(ProspectivePartner partner)
Goes up to the common node of partner.getNode(0) and partner.getNode(1)
and returns the next node on the path to partner.getNode(0).
|
private Term |
translate(java.lang.String estimation,
Services services)
Translates a branch label (without common prefixes such as "CUT:" etc.)
|
private static final java.lang.String FALSE_LABEL
private static final java.lang.String TRUE_LABEL
private static final java.lang.String CUT_LABEL
public PredicateEstimator.Result estimate(ProspectivePartner partner, Proof proof)
estimate
in interface PredicateEstimator
partner
- Structure comprising the partners of a join.proof
- The underlying proof.private Node getFirstDifferentNode(ProspectivePartner partner)
partner
- The prospective partner object.private Term translate(java.lang.String estimation, Services services)
estimation
- The branch label without prefix.services
- The services object.