org.sat4j.maxsat
Class TestSoftCard

java.lang.Object
  org.sat4j.maxsat.TestSoftCard

public class TestSoftCard
extends Object

Constructor Summary

TestSoftCard()

Method Summary

void	setUp()
void	test()
void	test2()
void	test3()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestSoftCard

public TestSoftCard()

Method Detail

setUp

public void setUp()

test

public void test()
          throws ContradictionException,
                 TimeoutException

Throws:

ContradictionException

TimeoutException

test2

public void test2()
           throws ContradictionException,
                  TimeoutException

Throws:

ContradictionException

TimeoutException

test3

public void test3()
           throws ContradictionException,
                  TimeoutException

Throws:

ContradictionException

TimeoutException