org.sat4j.pb

Class DepdendenyNode<C>

java.lang.Object

org.sat4j.pb.DepdendenyNode<C>

public class DepdendenyNode<C>
extends Object

Constructor Summary

Constructors

Constructor and Description
DepdendenyNode(C name, Explanation<C> explanation)

Method Summary

Methods

Modifier and Type	Method and Description
int	getMaxDepth()
C	getName()
DepdendenyNode<C>	getOnlyChild()
boolean	hasBranches()
DepdendenyNode<C>	newChild(C name)

Methods inherited from class java.lang.Object

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

Constructor Detail

DepdendenyNode

public DepdendenyNode(C name,
              Explanation<C> explanation)

Method Detail

getName

public C getName()

newChild

public DepdendenyNode<C> newChild(C name)

hasBranches

public boolean hasBranches()

getMaxDepth

public int getMaxDepth()

getOnlyChild

public DepdendenyNode<C> getOnlyChild()