public class BugSAT17 extends Object
Constructor and Description |
---|
BugSAT17() |
Modifier and Type | Method and Description |
---|---|
void |
setup() |
void |
testAll() |
void |
testInconsistentLits() |
void |
testOneSameOneContradictory() |
void |
testSameLits() |
void |
testSingleLit() |
void |
testTwoLits() |
public void setup() throws ContradictionException
ContradictionException
public void testAll() throws ContradictionException, TimeoutException
public void testSingleLit() throws ContradictionException, TimeoutException
public void testInconsistentLits() throws ContradictionException, TimeoutException
public void testTwoLits() throws ContradictionException, TimeoutException
public void testSameLits() throws ContradictionException, TimeoutException
public void testOneSameOneContradictory() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.