org.kahina.logic.sat.io.free

Class BooleanFormulaOutput

java.lang.Object

org.kahina.logic.sat.io.free.BooleanFormulaOutput

public class BooleanFormulaOutput
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BooleanFormulaOutput()

Method Summary

Methods

Modifier and Type	Method and Description
static void	writeDaimlerFile(java.lang.String fileName, BooleanFormula f)
static void	writeDimacsCnfFile(java.lang.String fileName, BooleanFormula f)

Methods inherited from class java.lang.Object

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

Constructor Detail

BooleanFormulaOutput

public BooleanFormulaOutput()

Method Detail

writeDaimlerFile

public static void writeDaimlerFile(java.lang.String fileName,
                    BooleanFormula f)

writeDimacsCnfFile

public static void writeDimacsCnfFile(java.lang.String fileName,
                      BooleanFormula f)