dfa2matcher.cpp File Reference

#include "thorin/plug/regex/dfa2matcher.h"
#include <algorithm>
#include <sstream>
#include <absl/container/flat_hash_map.h>
#include <automaton/dfa.h>
#include <automaton/range_helper.h>
#include <thorin/plug/core/core.h>
#include <thorin/plug/mem/mem.h>

Include dependency graph for dfa2matcher.cpp:

Go to the source code of this file.

Typedefs
using	Range = automaton::Range
using	Ranges = Vector< Range >

Functions
const Def *	dfa2matcher (World &w, const DFA &dfa, Ref n)
	You can dl::get this function.

Typedef Documentation

Range

using Range = automaton::Range

Definition at line 16 of file dfa2matcher.cpp.

Ranges

using Ranges = Vector<Range>

Definition at line 17 of file dfa2matcher.cpp.

Function Documentation

dfa2matcher()

const Def * dfa2matcher	(	World &	w,
		const DFA &	dfa,
		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().