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

Constructors

Constructor and Description
ModelIteratorTest()

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.ContradictionException,
                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException