org.sat4j.minisat
Class M2CardMaxYannTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              extended by org.sat4j.minisat.AbstractM2Test<ISolver>
                  extended by org.sat4j.minisat.M2CardMaxYannTest
All Implemented Interfaces:
junit.framework.Test

public class M2CardMaxYannTest
extends AbstractM2Test<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
M2CardMaxYannTest(String arg0)
           
 
Method Summary
protected  ISolver createSolver()
           
 
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, 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
 

Constructor Detail

M2CardMaxYannTest

public M2CardMaxYannTest(String arg0)
Parameters:
arg0 -
Method Detail

createSolver

protected ISolver createSolver()
Specified by:
createSolver in class AbstractAcceptanceTestCase<ISolver>
See Also:
TestCase.setUp()


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.