TestAtMost (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.core
Class TestAtMost

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.minisat.core.TestAtMost

All Implemented Interfaces:: junit.framework.Test

public class TestAtMost
extends junit.framework.TestCase
extends junit.framework.TestCase

Constructor Summary
`TestAtMost(java.lang.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 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(java.lang.String s)

Method Detail

setUp

protected void setUp()

Overrides:: setUp in class junit.framework.TestCase

testUnEssaiSat

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

Throws:: org.sat4j.specs.TimeoutException

testUnEssaiUnsat

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

Throws:: org.sat4j.specs.TimeoutException

test2Sat

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

Throws:: org.sat4j.specs.TimeoutException

test4Unsat

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

Throws:: org.sat4j.specs.TimeoutException

test3Unsat

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

Throws:: org.sat4j.specs.TimeoutException

test5Sat

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

Throws:: org.sat4j.specs.TimeoutException