Thorin 1.9.0
The Higher ORder INtermediate representation
|
#include <thorin/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 |
Definition at line 81 of file axiom.h.
Referenced by thorin::Match< Id, D >::base(), thorin::Match< Id, D >::id(), thorin::Match< Id, D >::plugin(), thorin::Match< Id, D >::sub(), and thorin::Match< Id, D >::tag().
|
inline |
Definition at line 93 of file axiom.h.
References thorin::Match< Id, D >::axiom(), and thorin::Axiom::sub().
|
inline |
Axiom::flags cast to Id
.
Definition at line 94 of file axiom.h.
References thorin::Match< Id, D >::axiom().
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
Definition at line 90 of file axiom.h.
References thorin::Match< Id, D >::axiom(), and thorin::Axiom::plugin().
|
inline |
Definition at line 92 of file axiom.h.
References thorin::Match< Id, D >::axiom(), and thorin::Axiom::sub().
|
inline |
Definition at line 91 of file axiom.h.
References thorin::Match< Id, D >::axiom(), and thorin::Axiom::tag().