org.sat4j.minisat.core
Class Bug275101

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

public class Bug275101
extends Object

Constructor Summary

Bug275101()

Method Summary

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 ContradictionException,
                                    TimeoutException

Throws:

ContradictionException

TimeoutException

testMaxSAtIterator

public void testMaxSAtIterator()
                        throws ContradictionException,
                               TimeoutException

Throws:

ContradictionException

TimeoutException