com.dfki.peregrin.facilities
Class Register
java.lang.Object
|
+--com.dfki.peregrin.facilities.Register
- public class Register
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Register
public Register()
setPathChainLength
public void setPathChainLength(int c)
pathChainLength
public int pathChainLength()
rememberTopLevelNode
public void rememberTopLevelNode(RunParameter rp)
recallTopLevelNode
public RunParameter recallTopLevelNode()
addToRegister
public void addToRegister(java.lang.String s)
addToRegister
public void addToRegister(RunParameter rp)
addToRegister
public void addToRegister(PathTree sl)
add
public void add(java.lang.String s)
size
public int size()
register
public java.util.Vector register()