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

Fields

Modifier and Type	Field and Description
protected org.sat4j.reader.Reader	reader
protected T	solver

Constructor Summary

Constructors

Constructor and Description
AbstractAcceptanceTestCase()
AbstractAcceptanceTestCase(String arg0)

Method Summary

Methods

Modifier and Type	Method and Description
protected org.sat4j.reader.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 org.sat4j.specs.ISolver solver

reader

protected org.sat4j.reader.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 org.sat4j.reader.Reader createInstanceReader(T aSolver)

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

solveInstance

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

Throws:

FileNotFoundException

org.sat4j.reader.ParseFormatException

IOException