public abstract class UnaryPredicate extends BuiltInPredicate
Constructor and Description |
---|
UnaryPredicate(String id) |
Modifier and Type | Method and Description |
---|---|
Formula |
assertFalse(Term v1,
KBase kb) |
Formula |
assertTrue(Term v1,
KBase kb) |
protected boolean |
checkDomainV1(Term i1)
METHODS TO OVERRIDE
|
protected Formula |
doAssertFalse(Term i1,
KBase kb) |
protected Formula |
doAssertTrue(Term i1,
KBase kb) |
protected boolean |
doQuery(Term i1,
KBase kb) |
protected Set<Term> |
doQueryV1Values(KBase kb) |
protected Formula |
doRetract(Term i1,
KBase kb) |
protected Formula |
doRetractV1Values(KBase kb) |
QueryResult |
query(Term v1,
KBase kb) |
Formula |
retract(Term v1,
KBase kb) |
equals, getId, hashCode, querySingleValues, queryTupleValues
public UnaryPredicate(String id)
id
- public QueryResult query(Term v1, KBase kb)
protected boolean checkDomainV1(Term i1)