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

Class testAll

java.lang.Object

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

public class testAll
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected java.io.FileFilter	filter

Constructor Summary

Constructors

Constructor and Description
testAll()

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

Field Detail

filter

protected java.io.FileFilter filter

Constructor Detail

testAll

public testAll()

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