org.kahina.logic.sat.data.proof

Class ResolutionProofDAGtoTreeConversion

java.lang.Object

org.kahina.logic.sat.data.proof.ResolutionProofDAGtoTreeConversion

public class ResolutionProofDAGtoTreeConversion
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ResolutionProofDAGtoTreeConversion()

Method Summary

Methods

Modifier and Type	Method and Description
static void	fillTreeWithBackwardExpansionFromNode(ResolutionProofDAG dag, int startID, ResolutionProofTree tree)
static void	fillTreeWithForwardExpansionFromNode(ResolutionProofDAG dag, int startID, ResolutionProofTree tree)

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolutionProofDAGtoTreeConversion

public ResolutionProofDAGtoTreeConversion()

Method Detail

fillTreeWithForwardExpansionFromNode

public static void fillTreeWithForwardExpansionFromNode(ResolutionProofDAG dag,
                                        int startID,
                                        ResolutionProofTree tree)

fillTreeWithBackwardExpansionFromNode

public static void fillTreeWithBackwardExpansionFromNode(ResolutionProofDAG dag,
                                         int startID,
                                         ResolutionProofTree tree)