public interface BuiltInRule extends Rule
Modifier and Type | Method and Description |
---|---|
IBuiltInRuleApp |
createApp(PosInOccurrence pos,
TermServices services) |
default java.lang.String |
getOrigin()
Information about the origin of the rule.
|
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)
@Nullable default java.lang.String getOrigin()
Rule
Copyright © 2003-2019 The KeY-Project.