public class TestClausalCardinalitiesBinaryEncoding extends Object
Constructor and Description |
---|
TestClausalCardinalitiesBinaryEncoding() |
Modifier and Type | Method and Description |
---|---|
void |
setUp() |
void |
testAtLeast2() |
void |
testAtLeastOne() |
void |
testAtMost2() |
void |
testAtMostOne() |
void |
testExactly2() |
void |
testExactlyOne() |
public TestClausalCardinalitiesBinaryEncoding()
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
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.