public interface BuiltInRule extends Rule
Modifier and Type | Method and Description |
---|---|
IBuiltInRuleApp |
createApp(PosInOccurrence pos,
TermServices services) |
boolean |
isApplicable(Goal goal,
PosInOccurrence pio)
returns true iff a rule is applicable at the given
position.
|
boolean |
isApplicableOnSubTerms() |
apply, displayName, name
boolean isApplicable(Goal goal, PosInOccurrence pio)
boolean isApplicableOnSubTerms()
IBuiltInRuleApp createApp(PosInOccurrence pos, TermServices services)