MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
normalizers.cpp File Reference
#include <algorithm>
#include <iterator>
#include <numeric>
#include <ranges>
#include <vector>
#include <automaton/range_helper.h>
#include <fe/assert.h>
#include "mim/axiom.h"
#include "mim/def.h"
#include "mim/tuple.h"
#include "mim/world.h"
#include "mim/util/log.h"
#include "mim/plug/regex/regex.h"
Include dependency graph for normalizers.cpp:

Go to the source code of this file.

Classes

struct  mim::plug::regex::app_range
 

Namespaces

namespace  mim
 
namespace  mim::plug
 
namespace  mim::plug::regex
 The regex Plugin
 

Typedefs

using Ranges = mim::Vector<Range>
 

Functions

template<class ConjOrDisj>
void mim::plug::regex::flatten_in_arg (const Def *arg, DefVec &new_args)
 
template<class ConjOrDisj>
DefVec mim::plug::regex::flatten_in_arg (const Def *arg)
 
template<class ConjOrDisj>
const Defmim::plug::regex::make_binary_tree (Defs args)
 
bool mim::plug::regex::compare_re (const Def *lhs, const Def *rhs)
 
void mim::plug::regex::make_vector_unique (DefVec &args)
 
bool mim::plug::regex::is_in_range (Range range, nat_t needle)
 
auto mim::plug::regex::get_range (const Def *rng) -> Range
 
void mim::plug::regex::merge_ranges (DefVec &args)
 
template<cls A, cls B>
bool mim::plug::regex::equals_any (const Def *cls0, const Def *cls1)
 
bool mim::plug::regex::equals_any (const Def *lhs, const Def *rhs)
 
bool mim::plug::regex::equals_any (Defs lhs, Defs rhs)
 
%regex.quant
template<quant id>
const Defmim::plug::regex::normalize_quant (const Def *type, const Def *callee, const Def *arg)
 
%regex.conj
const Defmim::plug::regex::normalize_conj (const Def *type, const Def *callee, const Def *arg)
 
%regex.disj
const Defmim::plug::regex::normalize_disj (const Def *type, const Def *, const Def *arg)
 
%regex.range
const Defmim::plug::regex::normalize_range (const Def *type, const Def *callee, const Def *arg)
 
%regex.not_
const Defmim::plug::regex::normalize_not (const Def *, const Def *, const Def *)
 

Typedef Documentation

◆ Ranges

Definition at line 20 of file normalizers.cpp.