lower__regex_8h_source.html

#pragma once


#include <mim/phase.h>


namespace mim::plug::regex {


/// Lowers a regex axm application to a DFA matcher function.


class LowerRegex : public RWPhase {

public:

    using RWPhase::RWPhase;


    const Def* rewrite_imm_App(const App*) final;

};


} // namespace mim::plug::regex


mim::App
Definition lam.h:215

mim::Def
Base class for all Defs.
Definition def.h:289

mim::RWPhase::RWPhase
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)
Definition phase.h:334

mim::plug::regex::LowerRegex
Lowers a regex axm application to a DFA matcher function.
Definition lower_regex.h:8

mim::plug::regex::LowerRegex::rewrite_imm_App
const Def * rewrite_imm_App(const App *) final
Definition lower_regex.cpp:24

mim::plug::regex::LowerRegex::RWPhase
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)
Definition phase.h:334

mim::plug::regex
The regex Plugin
Definition lower_regex.h:5

phase.h