|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object tuffy.test.PredicateTest
public class PredicateTest
Testing class for Predicate
object.
Constructor Summary | |
---|---|
PredicateTest()
|
Method Summary | |
---|---|
void |
testAddRelatedClause()
Test functions of building clause-predicate relationships. |
void |
testArity()
Test arity-related functions of Predicate. |
void |
testEvidence()
Test functions of marking some atoms as evidence. |
void |
testGetArgs()
Test argument-related functions. |
void |
testGroundAndStoreAtom()
Test functions of grounding a predicate and store the resulting atoms to database table. |
void |
testHasQuery()
Test functions of determining whether there are query atoms belonging to this predication. |
void |
testSetAllQuery()
Test the function setAllQuery(). |
void |
testSetClosedWorld()
Test closed-world-related functions. |
void |
testSetID()
Test ID-related functions. |
void |
testStoreQueries()
Test functions of marking some atoms as query. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PredicateTest()
Method Detail |
---|
public final void testSetAllQuery()
public final void testSetClosedWorld()
public final void testGetArgs()
public final void testSetID()
public final void testGroundAndStoreAtom() throws java.lang.Exception
java.lang.Exception
public final void testEvidence()
public final void testStoreQueries()
public final void testHasQuery()
public final void testArity()
public final void testAddRelatedClause()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |