org.kahina.logic.sat.io.cnf

Class DimacsCnfParser

java.lang.Object

org.kahina.logic.sat.io.cnf.DimacsCnfParser

public class DimacsCnfParser
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DimacsCnfParser()

Method Summary

Methods

Modifier and Type	Method and Description
static CnfSatInstance	parseDimacsCnfFile(java.lang.String fileName)

Methods inherited from class java.lang.Object

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

Constructor Detail

DimacsCnfParser

public DimacsCnfParser()

Method Detail

parseDimacsCnfFile

public static CnfSatInstance parseDimacsCnfFile(java.lang.String fileName)