object
method add_mapping_func : Grammar.mapfunc -> int
method add_rule : Grammar.rule -> unit
method arity : int -> int
method arity_of_type : int -> int
method base_cat : int -> int
method build_patterns : unit -> unit
method cat_string : int -> string
method chart_order : int -> int array
method check_rules : unit -> unit
method compute_lookup_frequencies : unit -> unit
method del_rule : int -> unit
method get_rule : int -> Grammar.rule
method is_empty_cat : int -> bool
method is_nonempty_cat : int -> bool
method lookup_base_cat : string -> int
method mapping_function : int -> Grammar.mapfunc
method new_base_category : string -> int
method new_category : int -> int
method new_terminal : string -> int
method num_base_cats : int
method num_cats : int
method num_rules : int
method output_rule : int -> unit
method output_rules : unit -> unit
method patterns : int -> Grammar.rule_pat list
method reconstruction_pattern : int -> Grammar.reconstruct_pat
method rules_headed_by : int -> int list
method set_arity : int -> int -> unit
method set_empty_cat : int -> bool -> unit
method set_nonempty_cat : int -> bool -> unit
method set_start_cat : int -> unit
method start_cat : int
method terminal_id : string -> int
method terminal_name : int -> string
end