public class AllIREFilter extends KBAssertFilter
Modifier and Type | Field and Description |
---|---|
protected Formula |
closedPattern |
private Finder |
finder |
protected Formula |
formulaPattern |
protected Formula |
generalNotPattern |
protected Formula |
generalPattern
Pattern that must match to apply the filter
|
private ListOfNodes |
listOfNodes |
protected Term |
termPattern |
Constructor and Description |
---|
AllIREFilter()
Constructor of the filter.
|
Modifier and Type | Method and Description |
---|---|
Formula |
apply(Formula formula)
If the filter is applicable, asserts in the belief base each element
which appears in the set, and returns a
TrueNode . |
private Formula |
generalNotPatternProcess(Formula formula,
MatchResult applyResult) |
private Formula |
generalPatternProcess(MatchResult applyResult) |
private void |
getPatterns(MatchResult applyResult) |
afterAssert, beforeAssert
getMyKBase, setMyKBase
protected Formula generalPattern
protected Formula generalNotPattern
protected Formula formulaPattern
protected Formula closedPattern
protected Term termPattern
private ListOfNodes listOfNodes
private Finder finder
public AllIREFilter()
public final Formula apply(Formula formula)
TrueNode
.apply
in class KBAssertFilter
formula
- a formula to assertprivate Formula generalPatternProcess(MatchResult applyResult)
private Formula generalNotPatternProcess(Formula formula, MatchResult applyResult)
private void getPatterns(MatchResult applyResult)