at.jku.fmv.qbf.io

Class QCIR

java.lang.Object

at.jku.fmv.qbf.io.QCIR

public final class QCIR
extends Object

A class for reading and writing QCIR-G14 files.

See http://qbf.satisfiability.org/gallery/qcir-gallery14.pdf for details on the file format.

Author:

phlo

Method Summary

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

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 QCIR 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,
                         boolean isCleansed)
                  throws IOException

Writes the given QBF to a QCIR file.

Parameters:

formula - a QBF worth saving

file - a file Path

isCleansed - write in cleansed form

Throws:

IOException - if the given Path is not accessible

writeParallel

public static void writeParallel(QBF formula,
                                 Path file,
                                 boolean isCleansed)
                          throws IOException

Throws:

IOException