public class ChildrenWithCtreeNodes
extends java.lang.Object
Constructor and Description |
---|
ChildrenWithCtreeNodes(java.util.LinkedList<TraceNode> children) |
Modifier and Type | Method and Description |
---|---|
jtabwb.tracesupport.SequenceOfCtreeNodes |
failedCTreesOfChild(int i) |
int |
numberOfChildren() |
void |
put(TraceNode tnode,
jtabwb.tracesupport.SequenceOfCtreeNodes ctrees) |
jtabwb.tracesupport.SequenceOfCtreeNodes |
succesfulCTreesOfChild(int i) |
public ChildrenWithCtreeNodes(java.util.LinkedList<TraceNode> children)
public void put(TraceNode tnode, jtabwb.tracesupport.SequenceOfCtreeNodes ctrees)
public jtabwb.tracesupport.SequenceOfCtreeNodes succesfulCTreesOfChild(int i)
public jtabwb.tracesupport.SequenceOfCtreeNodes failedCTreesOfChild(int i)
public int numberOfChildren()