mim::Select Class Reference

Matches (ff, tt)#cond - where cond is not a Literal. More...

#include <mim/tuple.h>

Inheritance diagram for mim::Select:

Public Member Functions
	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 - where cond is not a Literal.

Note

If cond is a Literal, either

• (x, y)#lit would have been folded to x/y anyway, or
• we have something like this: pair#0_2

Definition at line 212 of file tuple.h.

Constructor & Destructor Documentation

Select()

mim::Select::Select

(

const Def *

def

)

Definition at line 17 of file tuple.cpp.

References mim::Def::arity(), extract(), mim::Extract::index(), mim::Lit::isa(), and mim::Extract::tuple().

Referenced by mim::Branch::Branch().

Member Function Documentation

cond()

const Def * mim::Select::cond ( ) const

inline

Definition at line 220 of file tuple.h.

References extract(), and mim::Extract::index().

extract()

const Extract * mim::Select::extract ( ) const

inline

Definition at line 218 of file tuple.h.

Referenced by mim::Branch::Branch(), cond(), pair(), and Select().

ff()

const Def * mim::Select::ff ( ) const

inline

Definition at line 222 of file tuple.h.

References pair(), and mim::Def::proj().

operator bool()

mim::Select::operator bool ( ) const

inlineexplicitnoexcept

Definition at line 216 of file tuple.h.

pair()

const Def * mim::Select::pair ( ) const

inline

Definition at line 219 of file tuple.h.

References extract(), and mim::Extract::tuple().

Referenced by ff(), and tt().

tt()

const Def * mim::Select::tt ( ) const

inline

Definition at line 221 of file tuple.h.

References pair(), and mim::Def::proj().

---

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

• include/mim/tuple.h
• src/mim/tuple.cpp