org.sat4j.tools
Class TestGateTranslator

java.lang.Object
  org.sat4j.tools.TestGateTranslator

public class TestGateTranslator
extends Object

Constructor Summary

TestGateTranslator()

Method Summary

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 ContradictionException

Throws:

ContradictionException