interagents
Class UndoStackElement

java.lang.Object
  |
  +--interagents.UndoStackElement

public class UndoStackElement

extends java.lang.Object

Field Summary

java.util.Vector	constructedObjs
java.util.Vector	hiddenObjs
interagents.EuLab	hiddenTrace
moves.EuMove	move
java.lang.String	name
int	showLevelChange
java.util.Vector	shownObjs
interagents.EuLab	shownTrace
interagents.EuLab	trace

Constructor Summary

UndoStackElement()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

constructedObjs

public java.util.Vector constructedObjs

hiddenObjs

public java.util.Vector hiddenObjs

shownObjs

public java.util.Vector shownObjs

move

public moves.EuMove move

trace

public interagents.EuLab trace

shownTrace

public interagents.EuLab shownTrace

hiddenTrace

public interagents.EuLab hiddenTrace

showLevelChange

public int showLevelChange

name

public java.lang.String name

Constructor Detail

UndoStackElement

public UndoStackElement()