org.sat4j.pb
Class DepdendenyNode<C>
java.lang.Object
org.sat4j.pb.DepdendenyNode<C>
public class DepdendenyNode<C>
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DepdendenyNode
public DepdendenyNode(C name,
Explanation<C> explanation)
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 © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.