org.sat4j.maxsat
Class TestDavid

java.lang.Object
  org.sat4j.maxsat.TestDavid

public class TestDavid
extends Object

Constructor Summary

TestDavid()

Method Summary

void	testExampleDavid()
void	testMaxsat()
void	testMaxsatBis()
void	testPartialWeightedMaxsat()
void	testWeightedMinimization()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestDavid

public TestDavid()

Method Detail

testMaxsat

public void testMaxsat()
                throws ContradictionException,
                       TimeoutException

Throws:

ContradictionException

TimeoutException

testMaxsatBis

public void testMaxsatBis()
                   throws ContradictionException,
                          TimeoutException

Throws:

ContradictionException

TimeoutException

testPartialWeightedMaxsat

public void testPartialWeightedMaxsat()
                               throws ContradictionException,
                                      TimeoutException

Throws:

ContradictionException

TimeoutException

testWeightedMinimization

public void testWeightedMinimization()
                              throws ContradictionException,
                                     TimeoutException

Throws:

ContradictionException

TimeoutException

testExampleDavid

public void testExampleDavid()
                      throws ContradictionException,
                             TimeoutException

Throws:

ContradictionException

TimeoutException