org.sat4j.pb
Class DepdendenyNode<C>

java.lang.Object
  org.sat4j.pb.DepdendenyNode<C>

public class DepdendenyNode<C>
extends Object

Constructor Summary

DepdendenyNode(C name, Explanation<C> explanation)

Method Summary

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()