TestsFonctionnels (SAT4J core 2.1.0 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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
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(java.lang.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 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(java.lang.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 java.lang.Exception

Overrides:: setUp in class junit.framework.TestCase

Throws:: java.lang.Exception