org.sat4j.pb
Class TestLonca

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

public class TestLonca
extends Object


Constructor Summary
TestLonca()
           
 
Method Summary
 void testIteratingWithNoObjectiveFunction()
           
 void testIteratingWithObjectiveFunctionCard()
           
 void testIteratingWithObjectiveFunctionPseudo()
           
 void testIteratingWithObjectiveFunctionWithDecorator()
           
 void testRemovalOfConstraintsPropagatingLiterals()
           
 void testRemovalOfConstraintsPropagatingLiteralsBis()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TestLonca

public TestLonca()
Method Detail

testIteratingWithNoObjectiveFunction

public void testIteratingWithNoObjectiveFunction()

testIteratingWithObjectiveFunctionCard

public void testIteratingWithObjectiveFunctionCard()

testIteratingWithObjectiveFunctionPseudo

public void testIteratingWithObjectiveFunctionPseudo()

testIteratingWithObjectiveFunctionWithDecorator

public void testIteratingWithObjectiveFunctionWithDecorator()

testRemovalOfConstraintsPropagatingLiterals

public void testRemovalOfConstraintsPropagatingLiterals()
                                                 throws org.sat4j.specs.ContradictionException,
                                                        org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException

testRemovalOfConstraintsPropagatingLiteralsBis

public void testRemovalOfConstraintsPropagatingLiteralsBis()
                                                    throws org.sat4j.specs.ContradictionException,
                                                           org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException


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