org.sat4j.pb
Class TestObjectiveFunction

java.lang.Object
  extended by org.sat4j.pb.TestObjectiveFunction

public class TestObjectiveFunction
extends Object


Constructor Summary
TestObjectiveFunction()
           
 
Method Summary
 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 ContradictionException,
                                                      TimeoutException
Throws:
ContradictionException
TimeoutException


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.