public class KBAssertFilter extends KBFilter
Constructor and Description |
---|
KBAssertFilter() |
Modifier and Type | Method and Description |
---|---|
void |
afterAssert(Formula formula)
Deprecated.
|
Formula |
apply(Formula formula)
Applies the filter before asserting the formula into the KBase.
|
Formula |
beforeAssert(Formula formula)
Deprecated.
|
getMyKBase, setMyKBase
public Formula apply(Formula formula)
mustApplyAfter
is set to true.formula
- the formula to assert@Deprecated public final Formula beforeAssert(Formula formula)
apply
method instead.formula
- @Deprecated public final void afterAssert(Formula formula)
formula
-