org.kahina.logic.sat.io.proof

Class ResolutionProofParser

java.lang.Object

org.kahina.logic.sat.io.proof.ResolutionProofParser

public class ResolutionProofParser
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ResolutionProofParser()

Method Summary

Methods

Modifier and Type	Method and Description
static ResolutionProofDAG	createResolutionProofDAG(java.lang.String fileName, CnfSatInstance sat)
static ResolutionProofTree	createResolutionProofTree(java.lang.String fileName, CnfSatInstance sat)

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolutionProofParser

public ResolutionProofParser()

Method Detail

createResolutionProofDAG

public static ResolutionProofDAG createResolutionProofDAG(java.lang.String fileName,
                                          CnfSatInstance sat)

createResolutionProofTree

public static ResolutionProofTree createResolutionProofTree(java.lang.String fileName,
                                            CnfSatInstance sat)