org.sat4j.pb

Class TestLonca

java.lang.Object

org.sat4j.pb.TestLonca

public class TestLonca
extends Object

Constructor Summary

Constructors

Constructor and Description
TestLonca()

Method Summary

Methods

Modifier and Type	Method and Description
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