object
  method backtrack : unit
  method compare_complexity : Bound.complexity -> Bound.complexity -> int
  method complexity_to_string : Bound.complexity -> string
  method current_bound : Bound.complexity
  method dropped_choice_point : Bound.choice_point option
  method exceeds : Bound.complexity -> bool
  method exceeds_current : Bound.complexity -> Bound.choice_point -> bool
  method get_complexity : Bound.literal -> Bound.complexity
  method get_complexity_subst :
    Bound.literal -> Bound.subst -> int -> Bound.complexity
  method has_min_exceeding : bool
  method incomplete : unit
  method is_derivation_incomplete : bool
  method print_statistic : unit
  method register : Bound.complexity -> Bound.choice_point -> bool
  method register_subst :
    Bound.literal -> Bound.subst -> int -> Bound.choice_point -> bool
  method restart : keep_bound:bool -> unit
end