at.jku.fmv.qbf.io

Class QDIMACS

java.lang.Object

at.jku.fmv.qbf.io.QDIMACS

public class QDIMACS
extends Object

A class for reading and writing QDIMACS files.

See http://www.qbflib.org/qdimacs.html for details on the file format.

Author:

phlo

Method Summary

Modifier and Type	Method and Description
static QBF	read(Path file) Reads a given QDIMACS file.
static void	write(QBF formula, Path file) Writes the given QBF to a QDIMACS file.

Methods inherited from class java.lang.Object

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

Method Detail

read

public static QBF read(Path file)
                throws IOException

Reads a given QDIMACS file.

Parameters:

file - a file Path

Returns:

the contained QBF

Throws:

IOException - if the given Path is not accessible

write

public static void write(QBF formula,
                         Path file)
                  throws IOException

Writes the given QBF to a QDIMACS file.

Parameters:

formula - a QBF worth saving

file - a file Path

Throws:

IOException - if the given Path is not accessible