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 org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
public void testExactlyOne() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
public void testAtLeastOne() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
public void testAtMost2() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
public void testAtLeast2() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
public void testExactly2() throws org.sat4j.specs.ContradictionException, org.sat4j.specs.TimeoutException
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.