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