jade.semantics.kbase.filters.std.builtins

Class TernaryPredicate

java.lang.Object

jade.semantics.kbase.filters.std.builtins.BuiltInPredicate

jade.semantics.kbase.filters.std.builtins.TernaryPredicate

Direct Known Subclasses:

BinaryFunction, NthPredicate

public abstract class TernaryPredicate
extends BuiltInPredicate

Author:

Vincent Louis - France Telecom

Constructor Summary

Constructors

Constructor and Description
TernaryPredicate(String id)

Method Summary

Modifier and Type	Method and Description
Formula	assertFalse(Term v1, Term v2, Term v3, KBase kb)
Formula	assertTrue(Term v1, Term v2, Term v3, KBase kb) PUBLIC METHODS
protected boolean	checkDomainV1(Term i1)
protected boolean	checkDomainV1V2(Term i1, Term i2)
protected boolean	checkDomainV1V2V3(Term i1, Term i2, Term i3) METHODS TO OVERRIDE
protected boolean	checkDomainV1V3(Term i1, Term i3)
protected boolean	checkDomainV2(Term i2)
protected boolean	checkDomainV2V3(Term i2, Term i3)
protected boolean	checkDomainV3(Term i3)
protected Formula	doAssertFalse(Term i1, Term i2, Term i3, KBase kb)
protected Formula	doAssertTrue(Term i1, Term i2, Term i3, KBase kb)
protected boolean	doQuery(Term i1, Term i2, Term i3, KBase kb)
protected Set<Vector<Term>>	doQueryV1V2V3Values(KBase kb)
protected Set<Vector<Term>>	doQueryV1V2Values(Term i3, KBase kb)
protected Set<Vector<Term>>	doQueryV1V3Values(Term i2, KBase kb)
protected Set<Term>	doQueryV1Values(Term i2, Term i3, KBase kb)
protected Set<Vector<Term>>	doQueryV2V3Values(Term i1, KBase kb)
protected Set<Term>	doQueryV2Values(Term i1, Term i3, KBase kb)
protected Set<Term>	doQueryV3Values(Term i1, Term i2, KBase kb)
protected Formula	doRetract(Term i1, Term i2, Term i3, KBase kb)
protected Formula	doRetractV1V2V3Values(KBase kb)
protected Formula	doRetractV1V2Values(Term i3, KBase kb)
protected Formula	doRetractV1V3Values(Term i2, KBase kb)
protected Formula	doRetractV1Values(Term i2, Term i3, KBase kb)
protected Formula	doRetractV2V3Values(Term i1, KBase kb)
protected Formula	doRetractV2Values(Term i1, Term i3, KBase kb)
protected Formula	doRetractV3Values(Term i1, Term i2, KBase kb)
QueryResult	query(Term v1, Term v2, Term v3, KBase kb)
Formula	retract(Term v1, Term v2, Term v3, KBase kb)

Methods inherited from class jade.semantics.kbase.filters.std.builtins.BuiltInPredicate

equals, getId, hashCode, querySingleValues, queryTupleValues

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TernaryPredicate

public TernaryPredicate(String id)

Parameters:

id -

Method Detail

assertTrue

public Formula assertTrue(Term v1,
                          Term v2,
                          Term v3,
                          KBase kb)

PUBLIC METHODS

assertFalse

public Formula assertFalse(Term v1,
                           Term v2,
                           Term v3,
                           KBase kb)

retract

public Formula retract(Term v1,
                       Term v2,
                       Term v3,
                       KBase kb)

query

public QueryResult query(Term v1,
                         Term v2,
                         Term v3,
                         KBase kb)

checkDomainV1V2V3

protected boolean checkDomainV1V2V3(Term i1,
                                    Term i2,
                                    Term i3)

METHODS TO OVERRIDE

checkDomainV1V2

protected boolean checkDomainV1V2(Term i1,
                                  Term i2)

checkDomainV1V3

protected boolean checkDomainV1V3(Term i1,
                                  Term i3)

checkDomainV2V3

protected boolean checkDomainV2V3(Term i2,
                                  Term i3)

checkDomainV1

protected boolean checkDomainV1(Term i1)

checkDomainV2

protected boolean checkDomainV2(Term i2)

checkDomainV3

protected boolean checkDomainV3(Term i3)

doQuery

protected boolean doQuery(Term i1,
                          Term i2,
                          Term i3,
                          KBase kb)

doQueryV1V2V3Values

protected Set<Vector<Term>> doQueryV1V2V3Values(KBase kb)

doQueryV1V2Values

protected Set<Vector<Term>> doQueryV1V2Values(Term i3,
                                              KBase kb)

doQueryV1V3Values

protected Set<Vector<Term>> doQueryV1V3Values(Term i2,
                                              KBase kb)

doQueryV2V3Values

protected Set<Vector<Term>> doQueryV2V3Values(Term i1,
                                              KBase kb)

doQueryV1Values

protected Set<Term> doQueryV1Values(Term i2,
                                    Term i3,
                                    KBase kb)

doQueryV2Values

protected Set<Term> doQueryV2Values(Term i1,
                                    Term i3,
                                    KBase kb)

doQueryV3Values

protected Set<Term> doQueryV3Values(Term i1,
                                    Term i2,
                                    KBase kb)

doAssertTrue

protected Formula doAssertTrue(Term i1,
                               Term i2,
                               Term i3,
                               KBase kb)

doAssertFalse

protected Formula doAssertFalse(Term i1,
                                Term i2,
                                Term i3,
                                KBase kb)

doRetract

protected Formula doRetract(Term i1,
                            Term i2,
                            Term i3,
                            KBase kb)

doRetractV1Values

protected Formula doRetractV1Values(Term i2,
                                    Term i3,
                                    KBase kb)

doRetractV2Values

protected Formula doRetractV2Values(Term i1,
                                    Term i3,
                                    KBase kb)

doRetractV3Values

protected Formula doRetractV3Values(Term i1,
                                    Term i2,
                                    KBase kb)

doRetractV1V2Values

protected Formula doRetractV1V2Values(Term i3,
                                      KBase kb)

doRetractV1V3Values

protected Formula doRetractV1V3Values(Term i2,
                                      KBase kb)

doRetractV2V3Values

protected Formula doRetractV2V3Values(Term i1,
                                      KBase kb)

doRetractV1V2V3Values

protected Formula doRetractV1V2V3Values(KBase kb)