public abstract class KBAssertFilterAdapter extends KBAssertFilter
KBassertFilter
.Modifier and Type | Field and Description |
---|---|
protected Formula |
pattern
Pattern that must match to apply the filter adapter
|
Constructor and Description |
---|
KBAssertFilterAdapter(Formula formula)
Creates a new filter.
|
KBAssertFilterAdapter(String pttrn)
Creates a new filter.
|
Modifier and Type | Method and Description |
---|---|
Formula |
apply(Formula formula)
Returns true if the pattern of the adapter matches the formula,
false if not.
|
Formula |
doApply(Formula formula,
MatchResult match)
Returns the given formula.
|
String |
toString()
Returns the string representing the pattern.
|
afterAssert, beforeAssert
getMyKBase, setMyKBase
protected Formula pattern
public KBAssertFilterAdapter(String pttrn)
pttrn
- a pattern. The pattern must contain a variable named "??agent"
representing the semantic agent itself.public KBAssertFilterAdapter(Formula formula)
formula
- a pattern. The pattern must contain a variable named "??agent"
representing the semantic agent itself.public final Formula apply(Formula formula)
apply
in class KBAssertFilter
formula
- a formulaKBAssertFilter.apply(Formula)
public String toString()
public Formula doApply(Formula formula, MatchResult match)
formula
- the incoming formula