public class BugSAT65 extends Object
Constructor and Description |
---|
BugSAT65() |
Modifier and Type | Method and Description |
---|---|
void |
testOneSatisfiedConstraint() |
void |
testOneSatisfiedConstraintImplicant() |
void |
testOneSatisfiedConstraintMSTwo() |
void |
testOneSatisfiedConstraintMSTwoImplicant() |
void |
testTwoSatisfiedConstraint() |
void |
testTwoSatisfiedConstraintImplicant() |
public void testOneSatisfiedConstraint() throws org.sat4j.specs.TimeoutException, org.sat4j.specs.ContradictionException
public void testOneSatisfiedConstraintImplicant() throws org.sat4j.specs.TimeoutException, org.sat4j.specs.ContradictionException
public void testTwoSatisfiedConstraint() throws org.sat4j.specs.TimeoutException, org.sat4j.specs.ContradictionException
public void testTwoSatisfiedConstraintImplicant() throws org.sat4j.specs.TimeoutException, org.sat4j.specs.ContradictionException
public void testOneSatisfiedConstraintMSTwoImplicant() throws org.sat4j.specs.TimeoutException, org.sat4j.specs.ContradictionException
public void testOneSatisfiedConstraintMSTwo() throws org.sat4j.specs.TimeoutException, org.sat4j.specs.ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.