org.sat4j.minisat
Class AbstractAcceptanceTestCase<T extends org.sat4j.specs.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

public abstract class AbstractAcceptanceTestCase<T extends org.sat4j.specs.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 org.sat4j.reader.Reader	reader
protected T	solver

Constructor Summary

AbstractAcceptanceTestCase()

AbstractAcceptanceTestCase(java.lang.String arg0)

Method Summary

protected org.sat4j.reader.Reader	createInstanceReader(T aSolver)
protected abstract T	createSolver()
protected void	setUp()
protected boolean	solveInstance(java.lang.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 org.sat4j.specs.ISolver solver

reader

protected org.sat4j.reader.Reader reader

Constructor Detail

AbstractAcceptanceTestCase

public AbstractAcceptanceTestCase()

AbstractAcceptanceTestCase

public AbstractAcceptanceTestCase(java.lang.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 org.sat4j.reader.Reader createInstanceReader(T aSolver)

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

solveInstance

protected boolean solveInstance(java.lang.String filename)
                         throws java.io.FileNotFoundException,
                                org.sat4j.reader.ParseFormatException,
                                java.io.IOException

Throws:

java.io.FileNotFoundException

org.sat4j.reader.ParseFormatException

java.io.IOException