org.sat4j
Class ModelIteratorTest

java.lang.Object
  org.sat4j.ModelIteratorTest

public class ModelIteratorTest
extends Object

Author:

leberre To change the template for this generated type comment go to Window>Preferences>Java>Code Generation>Code and Comments

Constructor Summary

ModelIteratorTest()

Method Summary

void	testCardModel()
void	testGlobalTimeoutCounter()
void	testGlobalTimeoutIterator()
void	testIncModel()
void	testInnerModelIterator()
void	testInplicantCoverIterator()
void	testIsSatisfiableVecInt()
void	testModelIterator()
void	testModelIteratorLimit()
void	testSpecificValues()

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelIteratorTest

public ModelIteratorTest()

Method Detail

testModelIterator

public void testModelIterator()

testInnerModelIterator

public void testInnerModelIterator()

testInplicantCoverIterator

public void testInplicantCoverIterator()

testModelIteratorLimit

public void testModelIteratorLimit()

testCardModel

public void testCardModel()

testIncModel

public void testIncModel()

testIsSatisfiableVecInt

public void testIsSatisfiableVecInt()

testGlobalTimeoutCounter

public void testGlobalTimeoutCounter()

testGlobalTimeoutIterator

public void testGlobalTimeoutIterator()

testSpecificValues

public void testSpecificValues()
                        throws ContradictionException,
                               TimeoutException

Throws:

ContradictionException

TimeoutException