Class Types.generic_hlpsl_role


class generic_hlpsl_role : object .. end

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