public class kshell_node_data extends java.lang.Object
int
k
boolean
removed
kshell_node_data()
void
reset()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public int k
public boolean removed
public kshell_node_data()
public void reset()