org.sat4j.minisat.core

Class Bug275101

java.lang.Object

org.sat4j.minisat.core.Bug275101

public class Bug275101
extends Object

Constructor Summary

Constructors

Constructor and Description
Bug275101()

Method Summary

Methods

Modifier and Type	Method and Description
void	testMaxSAtIterator()
void	testMaxSAtIteratorIfSat()

Methods inherited from class java.lang.Object

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

Constructor Detail

Bug275101

public Bug275101()

Method Detail

testMaxSAtIteratorIfSat

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testMaxSAtIterator

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException