class StdPredicateEstimator extends Object implements PredicateEstimator
PredicateEstimator.Result
Modifier and Type | Field and Description |
---|---|
private static String |
CUT_LABEL |
private static String |
FALSE_LABEL |
private static 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(String estimation,
Services services)
Translates a branch label (without common prefixes such as "CUT:" etc.)
|
private static final String FALSE_LABEL
private static final String TRUE_LABEL
private static final 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.