org.sat4j

Class TestFreeId

java.lang.Object

org.sat4j.TestFreeId

public class TestFreeId
extends Object

Constructor Summary

Constructors

Constructor and Description
TestFreeId()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testEmptySolver()
void	testIncrementalFeed()
void	testReserveParameter()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TestFreeId

public TestFreeId()

Method Detail

setUp

public void setUp()

testEmptySolver

public void testEmptySolver()

testIncrementalFeed

public void testIncrementalFeed()
                         throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testReserveParameter

public void testReserveParameter()