Thorin 1.9.0
The Higher ORder INtermediate representation
|
Go to the source code of this file.
Functions | |
THORIN_EXPORT const thorin::Def * | dfa2matcher (thorin::World &, const automaton::DFA &, thorin::Ref) |
You can dl::get this function. | |
THORIN_EXPORT const thorin::Def * dfa2matcher | ( | thorin::World & | w, |
const automaton::DFA & | dfa, | ||
thorin::Ref | n | ||
) |
You can dl::get this function.
Definition at line 95 of file dfa2matcher.cpp.
References thorin::error(), automaton::AutomatonBase< NodeType >::get_reachable_states(), automaton::DFANode::is_accepting(), automaton::DFANode::is_erroring(), and thorin::plug::mem::mut_con().
Referenced by thorin::plug::regex::LowerRegex::rewrite().