MimIR 0.1
MimIR is my Intermediate Representation
|
rewrite rules rule (x:T, y:T) : x+y => y+x (when ); all meta variables have to be introduced More...
#include <mim/ast/ast.h>
Public Member Functions | |
RuleDecl (Loc loc, Dbg dbg, Ptr< Ptrn > &&var, Ptr< Expr > &&lhs, Ptr< Expr > &&rhs, Ptr< Expr > &&guard, bool is_normalizer) | |
const Ptrn * | var () const |
const Expr * | lhs () const |
const Expr * | rhs () const |
const Expr * | guard () const |
bool | is_normalizer () const |
void | bind (Scopes &) const override |
std::ostream & | stream (Tab &, std::ostream &) const override |
![]() | |
const Def * | def () const |
![]() | |
Loc | loc () const |
void | dump () const |
Private Member Functions | |
void | emit (Emitter &) const override |
Additional Inherited Members | |
![]() | |
ValDecl (Loc loc) | |
![]() | |
Decl (Loc loc) | |
![]() | |
Node (Loc loc) | |
virtual | ~Node () |
![]() | |
const Def * | def_ = nullptr |
rewrite rules rule (x:T, y:T) : x+y => y+x (when ); all meta variables have to be introduced
|
inline |
Definition at line 1043 of file ast.h.
References guard(), is_normalizer(), lhs(), mim::ast::Node::loc(), rhs(), mim::ast::ValDecl::ValDecl(), and var().
|
overridevirtual |
|
overrideprivatevirtual |
Implements mim::ast::ValDecl.
Definition at line 528 of file emit.cpp.
References guard(), lhs(), mim::ast::Node::loc(), rhs(), and var().
|
inline |
|
inline |
Definition at line 1056 of file ast.h.
Referenced by RuleDecl().
|
inline |
|
inline |
|
overridevirtual |
Implements mim::ast::Node.
Definition at line 241 of file stream.cpp.
References guard(), lhs(), mim::print(), rhs(), and var().
|
inline |