Lrama::Reporter::States

new(itemsets : Bool = false, lookaheads : Bool = false, solved : Bool = false, counterexamples : Bool = false, verbose : Bool = false, **_options)

report(io, states, ielr : Bool = false)