org.sat4j.minisat.core

Class TestPrimeComputation

java.lang.Object

org.sat4j.minisat.core.TestPrimeComputation

public class TestPrimeComputation
extends Object

Constructor Summary

Constructors

Constructor and Description
TestPrimeComputation()

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.ContradictionException,
                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testImplicantPascal

public void testImplicantPascal()
                         throws org.sat4j.specs.ContradictionException,
                                org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testOtherImplicant

public void testOtherImplicant()
                        throws org.sat4j.specs.ContradictionException,
                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testFolletExample

public void testFolletExample()
                       throws org.sat4j.specs.ContradictionException,
                              org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException