class

Lrama::State

Inherits Reference < Object

Constructors

new(id : Int32, accessing_symbol : Grammar::Symbol, kernels : Array(Item))
Source

Instance methods

==(other : State)
Source
_transitions
Source
_transitions=(_transitions : Array(Tuple(Grammar::Symbol, Array(Item))))
Source
accessing_symbol
Source
always_follows
Source
annotate_manifestation
Source
annotate_predecessor(predecessor : State)
Source
annotation_list
Source
append_annotation_list(propagating_list : Array(InadequacyAnnotation))
Source
append_predecessor(prev_state : State)
Source
clear_conflicts
Source
closure
Source
closure=(closure : Array(Item))
Source
compatible?(filtered_lookahead : Hash(Item, Array(Grammar::Symbol)))
Source
compute_transitions_and_reduces
Source
conflicts
Source
default_reduction_rule
Source
default_reduction_rule=(rule : Grammar::Rule)
Source
find_reduce_by_item!(item : Item)
Source
first_kernels
Source
follow_kernel_items
Source
goto_follow_set(nterm_token : Grammar::Symbol)
Source
goto_follows
Source
has_conflicts?
Source
ielr_isocores
Source
ielr_isocores=(ielr_isocores : Array(State))
Source
inadequacy_list
Source
internal_dependencies(goto : Action::Goto)
Source
item_lookahead_set
Source
item_lookahead_set=(set : Hash(Item, Array(Grammar::Symbol)))
Source
items
Source
items_to_state
Source
kernels
Source
lalr_isocore
Source
lalr_isocore=(state : State)
Source
lane_items
Source
lhs_contributions(sym : Grammar::Symbol, token : Grammar::Symbol)
Source
lookahead_set_filters
Source
lookaheads_recomputed=(lookaheads_recomputed : Bool)
Source
lookaheads_recomputed?
Source
non_default_reduces
Source
nterm_transitions
Source
predecessor_dependencies(goto : Action::Goto)
Source
predecessors
Source
predecessors_with_item(item : Item)
Source
propagate_lookaheads(next_state : State)
Source
reduces
Source
reduces=(reduces : Array(Action::Reduce))
Source
resolved_conflicts
Source
rr_conflicts
Source
selected_term_transitions
Source
set_items_to_state(items : Array(Item), next_state : State)
Source
set_lane_items(next_sym : Grammar::Symbol, next_state : State)
Source
set_look_ahead(rule : Grammar::Rule, look_ahead : Array(Grammar::Symbol))
Source
set_look_ahead_sources(rule : Grammar::Rule, sources : Hash(Grammar::Symbol, Array(Action::Goto)))
Source
split_state?
Source
sr_conflicts
Source
successor_dependencies(goto : Action::Goto)
Source
term_transitions
Source
transition(sym : Grammar::Symbol)
Source
transitions
Source
update_transition(transition : Transition, next_state : State)
Source
update_transitions_caches(transition : Transition)
Source

Nested types