org.sat4j.pb
Class BugSAT66

java.lang.Object
  org.sat4j.pb.BugSAT66

public class BugSAT66
extends Object

Constructor Summary

BugSAT66()

Method Summary

void	testMissingNewVarWithAtLeastInXplainPB()
void	testMissingNewVarWithAtMostInXplainPB()
void	testMissingNewVarWithClauseInXplainPB()
void	testMissingNewVarWithExactlyInXplainPB()
void	testMissingNewVarWithPBInXplainPB()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT66

public BugSAT66()

Method Detail

testMissingNewVarWithClauseInXplainPB

public void testMissingNewVarWithClauseInXplainPB()
                                           throws ContradictionException

Throws:

ContradictionException

testMissingNewVarWithAtLeastInXplainPB

public void testMissingNewVarWithAtLeastInXplainPB()
                                            throws ContradictionException

Throws:

ContradictionException

testMissingNewVarWithAtMostInXplainPB

public void testMissingNewVarWithAtMostInXplainPB()
                                           throws ContradictionException

Throws:

ContradictionException

testMissingNewVarWithExactlyInXplainPB

public void testMissingNewVarWithExactlyInXplainPB()
                                            throws ContradictionException

Throws:

ContradictionException

testMissingNewVarWithPBInXplainPB

public void testMissingNewVarWithPBInXplainPB()
                                       throws ContradictionException

Throws:

ContradictionException