org.sat4j.tools

Class TestAllMUSesGroupTest

java.lang.Object

org.sat4j.tools.TestAllMUSesGroupTest

public class TestAllMUSesGroupTest
extends Object

Constructor Summary

Constructors

Constructor and Description
TestAllMUSesGroupTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testSimpleCase()
void	testSimpleCaseWithGroups()
void	testSimpleCaseWithGroups2()
void	testSimpleCaseWithGroups3()
void	testSimpleCaseWithGroups4()
void	testVerySimpleCase()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestAllMUSesGroupTest

public TestAllMUSesGroupTest()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testSimpleCase

public void testSimpleCase()

testSimpleCaseWithGroups

public void testSimpleCaseWithGroups()

testSimpleCaseWithGroups2

public void testSimpleCaseWithGroups2()

testSimpleCaseWithGroups3

public void testSimpleCaseWithGroups3()

testSimpleCaseWithGroups4

public void testSimpleCaseWithGroups4()

testVerySimpleCase

public void testVerySimpleCase()