Class Types.hlpsl_transition


class hlpsl_transition : name:int -> lhs:hlpsl_state -> rhs:hlpsl_state -> object .. end

val mutable label : int
val mutable lhs : hlpsl_state
val mutable rhs : hlpsl_state
method set_label : int -> unit
method get_label : int
method get_lhs : hlpsl_state
method set_lhs : hlpsl_state -> unit
method get_rhs : hlpsl_state
method set_rhs : hlpsl_state -> unit