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

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

All Implemented Interfaces:

InterfaceWorktape<PEBBLE2.Inputtape>

Enclosing class:

PEBBLE2

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

Field Summary

java.lang.String[]

S

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

S

public java.lang.String[] S

Method Detail

clone

public PEBBLE2.Worktape clone()

Specified by:

clone in interface InterfaceWorktape<PEBBLE2.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(PEBBLE2.Inputtape atmInputtape)

Specified by:

reset in interface InterfaceWorktape<PEBBLE2.Inputtape>

Parameters:

atmInputtape - initialize the worktape with the given input

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object