public class MarcelBugsTests extends Object
Constructor and Description |
---|
MarcelBugsTests() |
Modifier and Type | Method and Description |
---|---|
void |
init() |
void |
testProblemWithDuplicatedLiterals() |
void |
testProblemWithDuplicatedOppositeLiterals1() |
void |
testProblemWithDuplicatedOppositeLiterals2() |
void |
testProblemWithNegatedLiterals() |
void |
testSimpleProblemWithTwoOppositeLiterals() |
public void init()
public void testProblemWithDuplicatedOppositeLiterals2()
public void testProblemWithDuplicatedOppositeLiterals1()
public void testSimpleProblemWithTwoOppositeLiterals()
public void testProblemWithNegatedLiterals()
public void testProblemWithDuplicatedLiterals()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.