public class TestPrimeComputation extends Object
Constructor and Description |
---|
TestPrimeComputation() |
Modifier and Type | Method and Description |
---|---|
void |
setUp() |
void |
testBasicImplicant() |
void |
testFolletExample() |
void |
testImplicantPascal() |
void |
testOtherImplicant() |
public void setUp()
public void testBasicImplicant() throws ContradictionException, TimeoutException
public void testImplicantPascal() throws ContradictionException, TimeoutException
public void testOtherImplicant() throws ContradictionException, TimeoutException
public void testFolletExample() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.