mim::Branch Class Reference

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

#include <mim/tuple.h>

Inheritance diagram for mim::Branch:

Public Member Functions
	Branch (const Def *)
	operator bool () const noexcept
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 where cond is not a Literal.

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

Definition at line 279 of file tuple.h.

Constructor & Destructor Documentation

Branch()

mim::Branch::Branch

(

const Def *

def

)

Definition at line 59 of file tuple.cpp.

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

Member Function Documentation

app()

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

inline

Definition at line 285 of file tuple.h.

Referenced by arg(), and callee().

arg()

const Def * mim::Branch::arg

(

)

const

Definition at line 65 of file tuple.cpp.

References app(), and mim::App::arg().

callee()

const Def * mim::Branch::callee

(

)

const

Definition at line 64 of file tuple.cpp.

References app(), and mim::App::callee().

Referenced by Branch().

operator bool()

mim::Branch::operator bool ( ) const

inlineexplicitnoexcept

Definition at line 283 of file tuple.h.

---

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

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