org.sat4j.minisat
Class TestsFonctionnels

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

public class TestsFonctionnels
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

Constructor Summary
TestsFonctionnels(String arg0)
          Constructor for TestsFonctionnels.
 
Method Summary
protected  void setUp()
           
 void testBug001()
           
 void testCommentsInInstance()
           
 void testIsImplied()
           
 void testIsImplied3()
           
 void testRemoveAtLeast()
           
 void testRemoveConstraints()
           
 void testSat()
           
 void testTrivialInconsistentFormula()
           
 void testTrivialSat()
           
 void testTrivialSatNewVar()
          Deprecated. 
 void testTrivialUnsat()
           
 void testUnsat()
           
 void testWhenNewVarNotCalled()
           
 
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

TestsFonctionnels

public TestsFonctionnels(String arg0)
Constructor for TestsFonctionnels.

Parameters:
arg0 -
Method Detail

testSat

public void testSat()

testUnsat

public void testUnsat()
               throws TimeoutException
Throws:
TimeoutException

testTrivialUnsat

public void testTrivialUnsat()

testTrivialSat

public void testTrivialSat()
                    throws TimeoutException
Throws:
TimeoutException

testTrivialSatNewVar

@Deprecated
public void testTrivialSatNewVar()
                          throws TimeoutException
Deprecated. 

Throws:
TimeoutException

testBug001

public void testBug001()
                throws TimeoutException
Throws:
TimeoutException

testTrivialInconsistentFormula

public void testTrivialInconsistentFormula()

testCommentsInInstance

public void testCommentsInInstance()

testRemoveConstraints

public void testRemoveConstraints()
                           throws TimeoutException
Throws:
TimeoutException

testRemoveAtLeast

public void testRemoveAtLeast()

testIsImplied

public void testIsImplied()

testIsImplied3

public void testIsImplied3()

testWhenNewVarNotCalled

public void testWhenNewVarNotCalled()

setUp

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


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