object
  val mutable accept_state : predicate list
  val mutable actions : (bool * Types.hlpsl_transition) list
  val mutable init_state : predicate list
  val mutable knowledge : term list
  val mutable local : hlpsl_variable list
  val mutable name : int
  val mutable owned : hlpsl_variable list
  val mutable param : hlpsl_variable list
  val mutable player : int
  method add_action : bool * Types.hlpsl_transition -> unit
  method get_accept : predicate list
  method get_actions : (bool * Types.hlpsl_transition) list
  method get_init : predicate list
  method get_knowledge : term list
  method get_local : hlpsl_variable list
  method get_name : int
  method get_owned : hlpsl_variable list
  method get_param : hlpsl_variable list
  method get_player : int
  method set_accept : predicate list -> unit
  method set_actions : (bool * Types.hlpsl_transition) list -> unit
  method set_init : predicate list -> unit
  method set_knowledge : term list -> unit
  method set_local : hlpsl_variable list -> unit
  method set_name : int -> unit
  method set_owned : hlpsl_variable list -> unit
  method set_param : hlpsl_variable list -> unit
  method set_player : int -> unit
end