object
  val mutable accept_state : Types.predicate list
  val mutable init_state : Types.predicate list
  val mutable knowledge : Types.term list
  val mutable local : Types.hlpsl_variable list
  val mutable name : int
  val mutable owned : Types.hlpsl_variable list
  val mutable param : Types.hlpsl_variable list
  method get_accept : Types.predicate list
  method get_init : Types.predicate list
  method get_knowledge : Types.term list
  method get_local : Types.hlpsl_variable list
  method get_name : int
  method get_owned : Types.hlpsl_variable list
  method get_param : Types.hlpsl_variable list
  method set_accept : Types.predicate list -> unit
  method set_init : Types.predicate list -> unit
  method set_knowledge : Types.term list -> unit
  method set_local : Types.hlpsl_variable list -> unit
  method set_name : int -> unit
  method set_owned : Types.hlpsl_variable list -> unit
  method set_param : Types.hlpsl_variable list -> unit
end