org.sat4j.minisat
Class GenericM2Test

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              org.sat4j.minisat.AbstractM2Test<org.sat4j.specs.ISolver>
                  org.sat4j.minisat.GenericM2Test

All Implemented Interfaces:

junit.framework.Test

public class GenericM2Test
extends AbstractM2Test<org.sat4j.specs.ISolver>

Author:

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

Field Summary

Fields inherited from class org.sat4j.minisat.AbstractM2Test

PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

GenericM2Test(java.lang.String arg0)

Method Summary

protected org.sat4j.specs.ISolver	createSolver()
protected void	runTest()
static junit.framework.TestSuite	suite()

Methods inherited from class org.sat4j.minisat.AbstractM2Test

testAim50SAT1, testAim50SAT10, testAim50SAT11, testAim50SAT12, testAim50SAT13, testAim50SAT14, testAim50SAT15, testAim50SAT16, testAim50SAT2, testAim50SAT3, testAim50SAT4, testAim50SAT5, testAim50SAT6, testAim50SAT7, testAim50SAT8, testAim50SAT9, testAim50UNSAT1, testAim50UNSAT2, testAim50UNSAT3, testAim50UNSAT4, testAim50UNSAT5, testAim50UNSAT6, testAim50UNSAT7, testAim50UNSAT8, testHole6, testHole7, testIi1, testIi10, testIi11, testIi12, testIi13, testIi14, testIi15, testIi16, testIi17, testIi18, testIi2, testIi20, testIi21, testIi22, testIi23, testIi3, testIi4, testIi5, testIi6, testIi7, testIi8, testIi9, testJNH1, testJNH10, testJNH11, testJNH12, testJNH13, testJNH14, testJNH15, testJNH16, testJNH17, testJNH18, testJNH19, testJNH2, testJNH20, testJNH21, testJNH22, testJNH23, testJNH24, testJNH25, testJNH26, testJNH27, testJNH28, testJNH29, testJNH3, testJNH30, testJNH31, testJNH32, testJNH33, testJNH34, testJNH35, testJNH36, testJNH37, testJNH38, testJNH39, testJNH4, testJNH40, testJNH41, testJNH42, testJNH43, testJNH44, testJNH45, testJNH46, testJNH47, testJNH48, testJNH49, testJNH5, testJNH50, testJNH6, testJNH7, testJNH8, testJNH9

Methods inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

createInstanceReader, setUp, solveInstance, tearDown

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, 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

Constructor Detail

GenericM2Test

public GenericM2Test(java.lang.String arg0)

Parameters:

arg0 -

Method Detail

createSolver

protected org.sat4j.specs.ISolver createSolver()

Specified by:

createSolver in class AbstractAcceptanceTestCase<org.sat4j.specs.ISolver>

suite

public static junit.framework.TestSuite suite()

runTest

protected void runTest()
                throws java.lang.Throwable

Overrides:

runTest in class junit.framework.TestCase

Throws:

java.lang.Throwable