org.sat4j
Class TestFreeId

java.lang.Object
  org.sat4j.TestFreeId

public class TestFreeId
extends Object

Constructor Summary

TestFreeId()

Method Summary

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 ContradictionException

Throws:

ContradictionException

testReserveParameter

public void testReserveParameter()