org.sat4j.tools

Class TestCheckItIsAMUS

java.lang.Object

org.sat4j.tools.TestCheckItIsAMUS

public class TestCheckItIsAMUS
extends Object

Constructor Summary

Constructors

Constructor and Description
TestCheckItIsAMUS()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testItWorksOnSimpleMUSes()
void	testItWorksOnSimpleNonMUSes()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestCheckItIsAMUS

public TestCheckItIsAMUS()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testItWorksOnSimpleMUSes

public void testItWorksOnSimpleMUSes()

testItWorksOnSimpleNonMUSes

public void testItWorksOnSimpleNonMUSes()