org.sat4j.minisat.core
Class TestAtMost

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.core.TestAtMost
All Implemented Interfaces:
junit.framework.Test

public class TestAtMost
extends junit.framework.TestCase


Constructor Summary
TestAtMost(String s)
           
 
Method Summary
protected  void setUp()
           
 void test2Sat()
           
 void test3Unsat()
           
 void test4Unsat()
           
 void test5Sat()
           
 void testUnEssaiSat()
           
 void testUnEssaiUnsat()
           
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, 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

TestAtMost

public TestAtMost(String s)
Method Detail

setUp

protected void setUp()
Overrides:
setUp in class junit.framework.TestCase

testUnEssaiSat

public void testUnEssaiSat()
                    throws TimeoutException
Throws:
TimeoutException

testUnEssaiUnsat

public void testUnEssaiUnsat()
                      throws TimeoutException
Throws:
TimeoutException

test2Sat

public void test2Sat()
              throws TimeoutException
Throws:
TimeoutException

test4Unsat

public void test4Unsat()
                throws TimeoutException
Throws:
TimeoutException

test3Unsat

public void test3Unsat()
                throws TimeoutException
Throws:
TimeoutException

test5Sat

public void test5Sat()
              throws TimeoutException
Throws:
TimeoutException


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