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

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;}
