public class AndFilter extends KBAssertFilter
Constructor and Description |
---|
AndFilter()
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 . |
afterAssert, beforeAssert
getMyKBase, setMyKBase
protected Formula pattern
public AndFilter()
public final Formula apply(Formula formula)
TrueNode
.apply
in class KBAssertFilter
formula
- a formula to assert