MimIR 0.1
MimIR is my Intermediate Representation
|
#include <mim/axiom.h>
Public Member Functions | |
Match ()=default | |
Match (const Axiom *axiom, const D *def) | |
Getters | |
const Axiom * | axiom () const |
const D * | operator-> () const |
operator const D * () const | |
operator bool () | |
Axiom Name | |
| |
auto | plugin () const |
auto | tag () const |
auto | sub () const |
auto | base () const |
auto | id () const |
Axiom::flags cast to Id . | |
|
default |
|
inline |
|
inline |
|
inline |
Definition at line 100 of file axiom.h.
References axiom(), and mim::Axiom::sub().
|
inline |
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
Definition at line 97 of file axiom.h.
References axiom(), and mim::Axiom::plugin().
|
inline |
Definition at line 99 of file axiom.h.
References axiom(), and mim::Axiom::sub().
|
inline |
Definition at line 98 of file axiom.h.
References axiom(), and mim::Axiom::tag().