org.sat4j.minisat
Class AbstractAcceptanceTestCase<T extends ISolver>

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.minisat.AbstractAcceptanceTestCase<T>

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

AbstractM2Test, AbstractPigeonHoleWithCardinalityTest

public abstract class AbstractAcceptanceTestCase<T extends ISolver>
extends junit.framework.TestCase

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary

protected Reader	reader
protected T	solver

Constructor Summary

AbstractAcceptanceTestCase()

AbstractAcceptanceTestCase(String arg0)

Method Summary

protected Reader	createInstanceReader(T aSolver)
protected abstract T	createSolver()
protected void	setUp()
protected boolean	solveInstance(String filename)
protected void	tearDown()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

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, fail, fail, failNotEquals, failNotSame, failSame, format

Methods inherited from class java.lang.Object

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

Field Detail

solver

protected T extends ISolver solver

reader

protected Reader reader

Constructor Detail

AbstractAcceptanceTestCase

public AbstractAcceptanceTestCase()

AbstractAcceptanceTestCase

public AbstractAcceptanceTestCase(String arg0)

Parameters:

arg0 -

Method Detail

createSolver

protected abstract T createSolver()

setUp

protected void setUp()

Overrides:

setUp in class junit.framework.TestCase

See Also:

TestCase.setUp()

createInstanceReader

protected Reader createInstanceReader(T aSolver)

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

solveInstance

protected boolean solveInstance(String filename)
                         throws FileNotFoundException,
                                ParseFormatException,
                                IOException

Throws:

FileNotFoundException

ParseFormatException

IOException