public abstract class CasaQueryFilter extends KBQueryFilter
Constructor and Description |
---|
CasaQueryFilter() |
Modifier and Type | Method and Description |
---|---|
protected Formula |
getFormula(MatchResult applyResult,
String var) |
protected Node |
getNode(MatchResult applyResult,
String var) |
protected Symbol |
getSymbol(MatchResult applyResult,
String var) |
protected Term |
getTerm(MatchResult applyResult,
String var) |
protected Variable |
getVariable(MatchResult applyResult,
String var) |
apply, getObserverTriggerPatterns, toStrings
getMyKBase, setMyKBase
protected Node getNode(MatchResult applyResult, String var)
protected Formula getFormula(MatchResult applyResult, String var)
protected Term getTerm(MatchResult applyResult, String var)
protected Symbol getSymbol(MatchResult applyResult, String var)
protected Variable getVariable(MatchResult applyResult, String var)