dRegAut
Class State

java.lang.Object
  dRegAut.State

All Implemented Interfaces:

Cloneable

public class State
extends Object
implements Cloneable

An automaton state.

Field Summary

String

name State name.

Constructor Summary

State()
Constructs a new state with no name.

State(String name)
Constructs a new state with the given name.

Method Summary

Object

clone() Clones this state object.

Methods inherited from class java.lang.Object

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

Field Detail

name

public String name

State name. (The state name is only for printing and has no formal meaning.)

Constructor Detail

State

public State()

Constructs a new state with no name.

State

public State(String name)

Constructs a new state with the given name.

Parameters:

name - state name

Method Detail

clone

public Object clone()

Clones this state object.

Overrides:

clone in class Object