com.bigdata.rdf.rules

Class TestRuleFastClosure_11_13

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

junit.framework.TestCase2

com.bigdata.rdf.store.AbstractTestCase

com.bigdata.rdf.store.ProxyTestCase

com.bigdata.rdf.store.AbstractTripleStoreTestCase

com.bigdata.rdf.rules.AbstractInferenceEngineTestCase

com.bigdata.rdf.rules.AbstractRuleTestCase

com.bigdata.rdf.rules.TestRuleFastClosure_11_13

All Implemented Interfaces:

IProxyTest, junit.framework.Test

public class TestRuleFastClosure_11_13
extends AbstractRuleTestCase

Test suite for AbstractRuleFastClosure_11_13.

Version:

$Id$

Author:

Bryan Thompson

See Also:

RuleFastClosure11, RuleFastClosure13

Nested Class Summary

Nested classes/interfaces inherited from class com.bigdata.rdf.store.AbstractTestCase

AbstractTestCase.StatementVerifier

Nested classes/interfaces inherited from class junit.framework.TestCase2

TestCase2.MyProperties, TestCase2.RandomType

Field Summary

Fields inherited from class com.bigdata.rdf.store.AbstractTestCase

NULL

Fields inherited from class junit.framework.TestCase2

_randomType, log

Constructor Summary

Constructors

Constructor and Description
TestRuleFastClosure_11_13()
TestRuleFastClosure_11_13(String name)

Method Summary

Methods

Modifier and Type	Method and Description
void	test_RuleFastForwardClosure11() Tests RuleFastClosure11 with the minimum data required to compute a single entailment.
void	test_RuleFastForwardClosure13() Tests RuleFastClosure13 with the minimum data required to compute a single entailment.

Methods inherited from class com.bigdata.rdf.rules.AbstractRuleTestCase

applyRule, applyRule, assertSameSolutionsAnyOrder

Methods inherited from class com.bigdata.rdf.rules.AbstractInferenceEngineTestCase

getValue

Methods inherited from class com.bigdata.rdf.store.ProxyTestCase

getDelegate, getOurDelegate, getProperties, getStore, getStore, reopenStore, setDelegate, setUp, tearDown

Methods inherited from class com.bigdata.rdf.store.AbstractTestCase

assertEquals, assertEquals, assertEquals, assertEquals, assertLexiconIndicesConsistent, assertSameSPOs, assertSameSPOs, assertSameSPOsAnyOrder, assertSameSPOsAnyOrder, assertSameStatements, assertSameStatements, assertStatementIndicesConsistent, checkIfProxy, recursiveDelete, setUp, tearDown

Methods inherited from class junit.framework.TestCase2

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEqualsWithinUlps, assertSameArray, assertSameArray, assertSameBigDecimal, assertSameBigDecimal, assertSameBigInteger, assertSameBigInteger, assertSameIterator, assertSameIterator, assertSameIteratorAnyOrder, assertSameIteratorAnyOrder, assertSameValue, assertSameValue, assertZeroUlps, assertZeroUlps, fail, getInnerCause, getNormalInt, getProjectBuildPath, getRandomObject, getRandomObject, getRandomOrder, getRandomString, getTestInputStream, getTestResource, getTestResource, getUlps, getUlps, isDEBUG, isDEBUG, isINFO, isINFO, isInnerCause, logProperties

Methods inherited from class junit.framework.TestCase

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface junit.framework.Test

countTestCases, run

Constructor Detail

TestRuleFastClosure_11_13

public TestRuleFastClosure_11_13()

TestRuleFastClosure_11_13

public TestRuleFastClosure_11_13(String name)

Parameters:

name -

Method Detail

test_RuleFastForwardClosure11

public void test_RuleFastForwardClosure11()
                                   throws Exception

Tests RuleFastClosure11 with the minimum data required to compute a single entailment.

Throws:

Exception

test_RuleFastForwardClosure13

public void test_RuleFastForwardClosure13()
                                   throws Exception

Tests RuleFastClosure13 with the minimum data required to compute a single entailment.

Throws:

Exception