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

Class benchmarkAll

java.lang.Object

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

public class benchmarkAll
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
benchmarkAll()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(java.lang.String[] arg0)
static void	start(java.lang.String args, java.io.FileFilter filter)

Methods inherited from class java.lang.Object

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

Constructor Detail

benchmarkAll

public benchmarkAll()

Method Detail

main

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

Throws:

java.io.IOException

start

public static void start(java.lang.String args,
         java.io.FileFilter filter)
                  throws java.lang.NumberFormatException,
                         java.io.IOException

Throws:

java.lang.NumberFormatException

java.io.IOException