org.sat4j.tools

Class TestAllMUSesAndCheckTest

java.lang.Object

org.sat4j.tools.TestAllMUSesAndCheckTest

public class TestAllMUSesAndCheckTest
extends Object

Constructor Summary

Constructors

Constructor and Description
TestAllMUSesAndCheckTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testAlmostGlobalInconsistency()
void	testAlmostGlobalInconsistencyII()
void	testAlmostGlobalInconsistencyIIIndex()
void	testAlmostGlobalInconsistencyIndex()
void	testEclipseTestCase()
void	testEclipseTestCase2()
void	testExample1CADECedric()
void	testExample3CADECedric()
void	testExample3IJCAICedric()
void	testGlobalInconsistency()
void	testGlobalInconsistencyIndex()
void	testSimpleCase()
void	testTheCaseOfTwoMUSes()
void	testVerySimpleCase()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestAllMUSesAndCheckTest

public TestAllMUSesAndCheckTest()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testSimpleCase

public void testSimpleCase()

testVerySimpleCase

public void testVerySimpleCase()

testGlobalInconsistency

public void testGlobalInconsistency()
                             throws org.sat4j.specs.ContradictionException,
                                    org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testGlobalInconsistencyIndex

public void testGlobalInconsistencyIndex()
                                  throws org.sat4j.specs.ContradictionException,
                                         org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistency

public void testAlmostGlobalInconsistency()
                                   throws org.sat4j.specs.ContradictionException,
                                          org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistencyIndex

public void testAlmostGlobalInconsistencyIndex()
                                        throws org.sat4j.specs.ContradictionException,
                                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistencyII

public void testAlmostGlobalInconsistencyII()
                                     throws org.sat4j.specs.ContradictionException,
                                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistencyIIIndex

public void testAlmostGlobalInconsistencyIIIndex()
                                          throws org.sat4j.specs.ContradictionException,
                                                 org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testTheCaseOfTwoMUSes

public void testTheCaseOfTwoMUSes()
                           throws org.sat4j.specs.ContradictionException,
                                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEclipseTestCase

public void testEclipseTestCase()
                         throws org.sat4j.specs.ContradictionException,
                                org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEclipseTestCase2

public void testEclipseTestCase2()
                          throws org.sat4j.specs.ContradictionException,
                                 org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testExample1CADECedric

public void testExample1CADECedric()
                            throws org.sat4j.specs.ContradictionException,
                                   org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testExample3CADECedric

public void testExample3CADECedric()
                            throws org.sat4j.specs.ContradictionException,
                                   org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testExample3IJCAICedric

public void testExample3IJCAICedric()
                             throws org.sat4j.specs.ContradictionException,
                                    org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException