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