org.sat4j.pb
Class TestLonca

java.lang.Object
  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 ContradictionException,
                                                        TimeoutException

Throws:

ContradictionException

TimeoutException

testRemovalOfConstraintsPropagatingLiteralsBis

public void testRemovalOfConstraintsPropagatingLiteralsBis()
                                                    throws ContradictionException,
                                                           TimeoutException

Throws:

ContradictionException

TimeoutException