• bound_hit : Limi::inclusion_result< Symbol >
• collapse_epsilon : Limi::automaton< State, Symbol, Implementation >
• counter_example : Limi::inclusion_result< Symbol >
• included : Limi::inclusion_result< Symbol >
• max_bound : Limi::inclusion_result< Symbol >
• no_epsilon_produced : Limi::automaton< State, Symbol, Implementation >