org.sat4j.pb

Class TestObjectiveFunction

java.lang.Object

org.sat4j.pb.TestObjectiveFunction

public class TestObjectiveFunction
extends Object

Constructor Summary

Constructors

Constructor and Description
TestObjectiveFunction()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testObjectiveFunctionWithAllWeightsToNull()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestObjectiveFunction

public TestObjectiveFunction()

Method Detail

setUp

public void setUp()

testObjectiveFunctionWithAllWeightsToNull

public void testObjectiveFunctionWithAllWeightsToNull()
                                               throws org.sat4j.specs.ContradictionException,
                                                      org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException