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