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

Class Parser

java.lang.Object

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

public class Parser
extends java.lang.Object

A Class to Pars a DIMACS-File The File will be converted into my Classes Clause and ContentTable

Author:

Paul Seitz

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Integer	anzClauses
protected java.lang.Integer	anzVariables

Constructor Summary

Constructors

Constructor and Description
Parser(java.lang.String file)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.ArrayList<java.lang.Integer>	next()

Methods inherited from class java.lang.Object

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

Field Detail

anzVariables

protected final java.lang.Integer anzVariables

anzClauses

protected final java.lang.Integer anzClauses

Constructor Detail

Parser

public Parser(java.lang.String file)
       throws java.io.IOException

Throws:

java.io.IOException

Method Detail

next

public final java.util.ArrayList<java.lang.Integer> next()
                                                  throws java.lang.NumberFormatException,
                                                         java.io.IOException

Returns:

the next Vector of Integer if the file has another line. else it returns null

Throws:

java.io.IOException

java.lang.NumberFormatException