at.ac.tuwien.dbai.alternation.examples
Class PEBBLE.Worktape

java.lang.Object
  at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape

All Implemented Interfaces:

InterfaceWorktape<PEBBLE.Inputtape>

Enclosing class:

PEBBLE

public class PEBBLE.Worktape
extends java.lang.Object
implements InterfaceWorktape<PEBBLE.Inputtape>

Field Summary

int	counter
java.lang.String[]	S

Method Summary

PEBBLE.Worktape	clone()
boolean	equals(java.lang.Object o)
int	hashCode()
void	reset(PEBBLE.Inputtape atmInputtape)
java.lang.String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

counter

public int counter

S

public java.lang.String[] S

Method Detail

clone

public PEBBLE.Worktape clone()

Specified by:

clone in interface InterfaceWorktape<PEBBLE.Inputtape>

Overrides:

clone in class java.lang.Object

Returns:

a (flat) copy from the worktape

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

reset

public void reset(PEBBLE.Inputtape atmInputtape)

Specified by:

reset in interface InterfaceWorktape<PEBBLE.Inputtape>

Parameters:

atmInputtape - initialize the worktape with the given input

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object