public State clone() {State clone = new State();clone.attribute = attribute.clone();if (next != null) {clone.next = next.clone();}return clone;}

public object Clone(){State clone = new State();clone.attribute = (Attribute)attribute.Clone();if (next != null){clone.next = (State)next.Clone();}return clone;}
