org.sat4j.pb
Class BugSat14

java.lang.Object
  extended by org.sat4j.pb.BugSat14

public class BugSat14
extends Object


Constructor Summary
BugSat14()
           
 
Method Summary
 void testSatCallAfterExpireTimeout()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BugSat14

public BugSat14()
Method Detail

testSatCallAfterExpireTimeout

public void testSatCallAfterExpireTimeout()
                                   throws ContradictionException
Throws:
ContradictionException


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.