public class TestClausalCardinalitiesLadderEncoding extends Object
Constructor and Description |
---|
TestClausalCardinalitiesLadderEncoding() |
Modifier and Type | Method and Description |
---|---|
void |
setUp() |
void |
testAtLeast2() |
void |
testAtLeastOne() |
void |
testAtMost2() |
void |
testAtMost4With11Vars() |
void |
testAtMostOne() |
void |
testAtMostOneWith8Vars() |
void |
testExactly2() |
void |
testExactly4With11Vars() |
void |
testExactlyOne() |
public TestClausalCardinalitiesLadderEncoding()
public void setUp()
public void testAtMostOne() throws ContradictionException, TimeoutException
public void testExactlyOne() throws ContradictionException, TimeoutException
public void testAtLeastOne() throws ContradictionException, TimeoutException
public void testAtMost2() throws ContradictionException, TimeoutException
public void testAtLeast2() throws ContradictionException, TimeoutException
public void testExactly2() throws ContradictionException, TimeoutException
public void testAtMostOneWith8Vars() throws ContradictionException, TimeoutException
public void testExactly4With11Vars() throws ContradictionException, TimeoutException
public void testAtMost4With11Vars() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.