org.kahina.logic.sat.insertionmus.iterativ.simpleSAT

Class benchmarkLearnMoreVsDefault

java.lang.Object

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.benchmarkLearnMoreVsDefault

public class benchmarkLearnMoreVsDefault
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
benchmarkLearnMoreVsDefault()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(java.lang.String[] arg0)
static float	start(java.lang.String directory, java.io.FileFilter filter, ICDCLFactory factory, java.lang.String path)

Methods inherited from class java.lang.Object

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

Constructor Detail

benchmarkLearnMoreVsDefault

public benchmarkLearnMoreVsDefault()

Method Detail

main

public static void main(java.lang.String[] arg0)
                 throws java.io.IOException

Throws:

java.io.IOException

start

public static float start(java.lang.String directory,
          java.io.FileFilter filter,
          ICDCLFactory factory,
          java.lang.String path)
                   throws java.lang.NumberFormatException,
                          java.io.IOException

Throws:

java.lang.NumberFormatException

java.io.IOException