// This file was generated by DAJ from program.cd.

import edu.neu.ccs.demeter.*;

class ChineseWallAutomaton {
  AutomatonName automatonName;
  State currentState;
  State startState;
  Transition_List transition;
  Group_List groups;
  CIType_List citypes;
  Access_List history;
  ChineseWallAutomaton() { }
  ChineseWallAutomaton(AutomatonName automatonName, State currentState, State startState, Transition_List transition, Group_List groups, CIType_List citypes, Access_List history) {
    this.automatonName = automatonName;
    this.currentState = currentState;
    this.startState = startState;
    this.transition = transition;
    this.groups = groups;
    this.citypes = citypes;
    this.history = history;
  }
}