org.sat4j.minisat.core
Class TestPrimeComputation

java.lang.Object
  org.sat4j.minisat.core.TestPrimeComputation

public class TestPrimeComputation
extends Object

Constructor Summary

TestPrimeComputation()

Method Summary

void	setUp()
void	testBasicImplicant()
void	testFolletExample()
void	testImplicantPascal()
void	testOtherImplicant()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TestPrimeComputation

public TestPrimeComputation()

Method Detail

setUp

public void setUp()

testBasicImplicant

public void testBasicImplicant()
                        throws ContradictionException,
                               TimeoutException

Throws:

ContradictionException

TimeoutException

testImplicantPascal

public void testImplicantPascal()
                         throws ContradictionException,
                                TimeoutException

Throws:

ContradictionException

TimeoutException

testOtherImplicant

public void testOtherImplicant()
                        throws ContradictionException,
                               TimeoutException

Throws:

ContradictionException

TimeoutException

testFolletExample

public void testFolletExample()
                       throws ContradictionException,
                              TimeoutException

Throws:

ContradictionException

TimeoutException