Function parol::analysis::reachability::all_non_terminals_reachable
source · [−]Expand description
Detects whether all non-terminals are reachable
Detects whether all non-terminals are reachable