org.sat4j.pb

Class BugSAT66

java.lang.Object

org.sat4j.pb.BugSAT66

public class BugSAT66
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT66()

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testMissingNewVarWithAtLeastInXplainPB

public void testMissingNewVarWithAtLeastInXplainPB()
                                            throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testMissingNewVarWithAtMostInXplainPB

public void testMissingNewVarWithAtMostInXplainPB()
                                           throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testMissingNewVarWithExactlyInXplainPB

public void testMissingNewVarWithExactlyInXplainPB()
                                            throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testMissingNewVarWithPBInXplainPB

public void testMissingNewVarWithPBInXplainPB()
                                       throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException