librarian
Class preCorder
java.lang.Object
|
+--librarian.preCorder
- public class preCorder
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
leaid
public fundamentals.leaIdentifier leaid
signature
public java.lang.String signature
testDataCount
public int testDataCount
ppp
public librarian.ppProcessor ppp
preCorder
public preCorder()
Rewind
public void Rewind()
RewindKeepingTestDatabase
public void RewindKeepingTestDatabase()
add
public void add(moves.EuMove m)
get
public moves.EuMove get(int i)
runMain
public void runMain(interagents.EuLab lab)
throws LeaException
LeaException
runMainTo
public void runMainTo(interagents.EuLab lab,
int stopSegment)
throws LeaException
LeaException
initialize
public void initialize(interagents.EuLab lab,
int dataline,
java.util.Random croupier)
throws LeaException
LeaException
runMacroTo
public void runMacroTo(interagents.EuLab primary,
int stopSegment,
interagents.explicitHolder channel)
throws LeaException
LeaException
setPpp
public void setPpp(librarian.ppProcessor ppp)
truncate
public void truncate()
- Remove all moves after 'at'
document
public void document()
solutionLines
public int solutionLines()
leaSource
public java.lang.String leaSource()
elements
public java.util.Enumeration elements()
setArgument
public void setArgument(fundamentals.EuArguments args,
int n)