MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
Public Member Functions | List of all members
mim::Branch Class Reference

Matches (ff, tt)#cond arg. More...

#include <mim/tuple.h>

Inheritance diagram for mim::Branch:
[legend]

Public Member Functions

 Branch (const Def *)
 
const App * app () const
 
const Def * callee () const
 
const Def * arg () const
 
- Public Member Functions inherited from mim::Select
 Select (const Def *)
 
 operator bool () const noexcept
 
const Extract * extract () const
 
const Def * pair () const
 
const Def * cond () const
 
const Def * tt () const
 
const Def * ff () const
 

Detailed Description

Matches (ff, tt)#cond arg.

(ff, tt)#cond is matched as a Select.

Definition at line 283 of file tuple.h.

Constructor & Destructor Documentation

◆ Branch()

mim::Branch::Branch ( const Def * def)

Definition at line 67 of file tuple.cpp.

References callee(), and mim::Select::Select().

Member Function Documentation

◆ app()

const App * mim::Branch::app ( ) const
inline

Definition at line 287 of file tuple.h.

◆ arg()

const Def * mim::Branch::arg ( ) const
inline

Definition at line 289 of file tuple.h.

◆ callee()

const Def * mim::Branch::callee ( ) const
inline

Definition at line 288 of file tuple.h.

Referenced by Branch().

The documentation for this class was generated from the following files: