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