All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type |
Method and Description |
protected void |
bindRuleSet(RuleSetDispatchFeature d,
RuleSet ruleSet,
Feature f) |
protected void |
bindRuleSet(RuleSetDispatchFeature d,
RuleSet ruleSet,
long cost) |
protected void |
bindRuleSet(RuleSetDispatchFeature d,
String ruleSet,
Feature f) |
protected void |
bindRuleSet(RuleSetDispatchFeature d,
String ruleSet,
long cost) |
protected void |
clearRuleSetBindings(RuleSetDispatchFeature d,
RuleSet ruleSet) |
protected void |
clearRuleSetBindings(RuleSetDispatchFeature d,
String ruleSet) |
protected void |
disableInstantiate() |
protected void |
enableInstantiate() |
protected Feature |
forEach(TermBuffer x,
TermGenerator gen,
Feature body) |
protected TacletFilter |
getFilterFor(String[] p_names) |
protected RuleSet |
getHeuristic(String p_name) |
protected Proof |
getProof() |
protected Feature |
ifHeuristics(String[] heuristics,
Feature thenFeature) |
protected Feature |
ifHeuristics(String[] heuristics,
Feature thenFeature,
Feature elseFeature) |
protected Feature |
ifHeuristics(String[] names,
int priority) |
protected Feature |
instantiate(Name sv,
ProjectionToTerm value) |
protected Feature |
instantiate(String sv,
ProjectionToTerm value) |
protected abstract RuleAppCost |
instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal) |
void |
instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector)
Instantiate an incomplete RuleApp .
|
protected Feature |
instantiateTriggeredVariable(ProjectionToTerm value) |
protected Feature |
oneOf(Feature[] features) |
protected Feature |
oneOf(Feature feature0,
Feature feature1) |