org.sat4j.minisat.core
Class BugFatih

java.lang.Object
  extended by org.sat4j.minisat.core.BugFatih

public class BugFatih
extends Object


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

Constructor Detail

BugFatih

public BugFatih()
Method Detail

testBugReport

public void testBugReport()
                   throws ContradictionException,
                          TimeoutException
Throws:
ContradictionException
TimeoutException


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