BasicTest

java.lang.Object

com.semedy.reasoner.reasoning.AbstractTestTemplate1

com.semedy.reasoner.reasoning.BasicTest

public class BasicTest extends AbstractTestTemplate1

Constructor Summary

Constructors

Constructor

Description

BasicTest()
Method Summary

Modifier and Type

Method

Description

void

test1()

void

test2()

void

test2185B()

void

test7959B()

void

testJoinVV()

void

testJoinWithGroundsGV()

void

testJoinWithGroundsVV()

void

testMagicSetProblem()

void

testRedundantBodiesEliminator()

Methods inherited from class com.semedy.reasoner.reasoning.AbstractTestTemplate1
deleteDir, eval, eval, eval, eval, eval, eval, eval, evalWithoutResults, setUp, tearDown

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- BasicTest
  
  public BasicTest()
Method Details
- test1
  
  public void test1() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test2
  
  public void test2() throws ReasoningException
  
  Throws:
  
  ReasoningException
- testMagicSetProblem
  
  public void testMagicSetProblem() throws ReasoningException
  
  Throws:
  
  ReasoningException
- testJoinVV
  
  public void testJoinVV() throws ReasoningException
  
  Throws:
  
  ReasoningException
- testJoinWithGroundsVV
  
  public void testJoinWithGroundsVV() throws ReasoningException
  
  Throws:
  
  ReasoningException
- testJoinWithGroundsGV
  
  public void testJoinWithGroundsGV() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test7959B
  
  public void test7959B() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test2185B
  
  public void test2185B() throws ReasoningException
  
  Throws:
  
  ReasoningException
- testRedundantBodiesEliminator
  
  public void testRedundantBodiesEliminator() throws ReasoningException
  
  Throws:
  
  ReasoningException