public class ForallFilter extends KBAssertFilter
Modifier and Type | Field and Description |
---|---|
protected Formula |
pattern |
protected Formula |
pattern2 |
Constructor and Description |
---|
ForallFilter()
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
public ForallFilter()
public final Formula apply(Formula formula)
TrueNode
.apply
in class KBAssertFilter
formula
- a formula to assert