org.sat4j.minisat

Class TestsFonctionnels

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

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

Constructors

Constructor and Description
TestsFonctionnels(String arg0) Constructor for TestsFonctionnels.

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.TimeoutException

testTrivialUnsat

public void testTrivialUnsat()

testTrivialSat

public void testTrivialSat()
                    throws org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.TimeoutException

testTrivialSatNewVar

@Deprecated
public void testTrivialSatNewVar()
                          throws org.sat4j.specs.TimeoutException

Deprecated.

Throws:

org.sat4j.specs.TimeoutException

testBug001

public void testBug001()
                throws org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.TimeoutException

testTrivialInconsistentFormula

public void testTrivialInconsistentFormula()

testCommentsInInstance

public void testCommentsInInstance()

testRemoveConstraints

public void testRemoveConstraints()
                           throws org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.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