org.kahina.logic.sat.io.cnf

Class DimacsCnfOutput

java.lang.Object

org.kahina.logic.sat.io.cnf.DimacsCnfOutput

public class DimacsCnfOutput
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DimacsCnfOutput()

Method Summary

Methods

Modifier and Type	Method and Description
static void	writeDimacsCnfFile(java.lang.String fileName, CnfSatInstance cnf)
static void	writeDimacsCnfFileAndUnits(java.lang.String fileName, CnfSatInstance cnf, java.util.List<java.lang.Integer> units)
static void	writeSymbolDimacsCnfFile(java.lang.String fileName, CnfSatInstance cnf)
static void	writeVariableOccurrences(java.lang.String fileName, CnfSatInstance cnf)

Methods inherited from class java.lang.Object

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

Constructor Detail

DimacsCnfOutput

public DimacsCnfOutput()

Method Detail

writeDimacsCnfFile

public static void writeDimacsCnfFile(java.lang.String fileName,
                      CnfSatInstance cnf)

writeDimacsCnfFileAndUnits

public static void writeDimacsCnfFileAndUnits(java.lang.String fileName,
                              CnfSatInstance cnf,
                              java.util.List<java.lang.Integer> units)

writeSymbolDimacsCnfFile

public static void writeSymbolDimacsCnfFile(java.lang.String fileName,
                            CnfSatInstance cnf)

writeVariableOccurrences

public static void writeVariableOccurrences(java.lang.String fileName,
                            CnfSatInstance cnf)