public class BugSAT66 extends Object
Constructor and Description |
---|
BugSAT66() |
Modifier and Type | Method and Description |
---|---|
void |
testMissingNewVarWithAtLeastInXplainPB() |
void |
testMissingNewVarWithAtMostInXplainPB() |
void |
testMissingNewVarWithClauseInXplainPB() |
void |
testMissingNewVarWithExactlyInXplainPB() |
void |
testMissingNewVarWithPBInXplainPB() |
public void testMissingNewVarWithClauseInXplainPB() throws ContradictionException
ContradictionException
public void testMissingNewVarWithAtLeastInXplainPB() throws ContradictionException
ContradictionException
public void testMissingNewVarWithAtMostInXplainPB() throws ContradictionException
ContradictionException
public void testMissingNewVarWithExactlyInXplainPB() throws ContradictionException
ContradictionException
public void testMissingNewVarWithPBInXplainPB() throws ContradictionException
ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.