1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

/// Module with the compiled lookahead DFA
pub mod compiled_la_dfa;

/// Module with the compiled terminal
pub mod compiled_terminal;
pub use compiled_terminal::CompiledTerminal;

///
/// Error types used by this module
///
#[forbid(missing_docs)]
pub mod errors;
pub use errors::{GrammarAnalysisError, RecursiveNonTerminal, RelatedHint};

/// Module with check for left-recursions
pub mod left_recursion;
pub use left_recursion::detect_left_recursive_non_terminals;

/// Module with the KTuple type
pub mod k_tuple;
pub use k_tuple::{KTuple, KTupleBuilder};

/// Module with the KTuples type
pub mod k_tuples;
pub use k_tuples::{KTuples, KTuplesBuilder};

/// Module with FIRST set calculations
pub mod first;
pub use first::{first_k, FirstSet};

/// Module with FOLLOW set calculations
pub mod follow;
pub use follow::{follow_k, FollowSet};

/// Module with conflict calculations
pub mod k_decision;
pub use k_decision::{
    calculate_k, calculate_k_tuples, calculate_lookahead_dfas, decidable, explain_conflicts,
    FirstCache, FollowCache,
};

/// Module with calculations for the LALR(1) parse table
pub mod lalr1_parse_table;
pub use lalr1_parse_table::{
    calculate_lalr1_parse_table, LR1State, LRAction, LRConflict, LRConflictError, LRParseTable,
};

/// Module with types for production selection
pub mod lookahead_dfa;
pub use lookahead_dfa::LookaheadDFA;

/// Module with productivity calculations
pub mod productivity;
pub use productivity::non_productive_non_terminals;

/// Module with reachability calculations
pub mod reachability;
pub use reachability::{
    all_non_terminals_reachable, nt_producing_productions, nt_reachability,
    reachable_from_non_terminal, reachable_from_production, reachable_non_terminals,
    unreachable_non_terminals,
};

// mod terminals_trie;