org.sat4j.pb
Class DepdendenyNode<C>

java.lang.Object
  extended by 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()


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.