org.sat4j.tools

Class TestGateTranslator

java.lang.Object

org.sat4j.tools.TestGateTranslator

public class TestGateTranslator
extends Object

Constructor Summary

Constructors

Constructor and Description
TestGateTranslator()

Method Summary

Methods

Modifier and Type	Method and Description
void	startUp()
void	testTwoValues()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestGateTranslator

public TestGateTranslator()

Method Detail

startUp

public void startUp()

testTwoValues

public void testTwoValues()
                   throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException