org.sat4j.minisat.core
Class Bug275101

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

public class Bug275101
extends java.lang.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 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