org.sat4j.maxsat
Class MarcelBugsTests

java.lang.Object
  org.sat4j.maxsat.MarcelBugsTests

public class MarcelBugsTests
extends Object

Constructor Summary

MarcelBugsTests()

Method Summary

void	init()
void	testProblemWithDuplicatedLiterals()
void	testProblemWithDuplicatedOppositeLiterals1()
void	testProblemWithDuplicatedOppositeLiterals2()
void	testProblemWithNegatedLiterals()
void	testSimpleProblemWithTwoOppositeLiterals()

Methods inherited from class java.lang.Object

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

Constructor Detail

MarcelBugsTests

public MarcelBugsTests()

Method Detail

init

public void init()

testProblemWithDuplicatedOppositeLiterals2

public void testProblemWithDuplicatedOppositeLiterals2()

testProblemWithDuplicatedOppositeLiterals1

public void testProblemWithDuplicatedOppositeLiterals1()

testSimpleProblemWithTwoOppositeLiterals

public void testSimpleProblemWithTwoOppositeLiterals()

testProblemWithNegatedLiterals

public void testProblemWithNegatedLiterals()

testProblemWithDuplicatedLiterals

public void testProblemWithDuplicatedLiterals()