hobbes: hobbes::isConstP Struct Reference

hobbes

a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis

Inheritance diagram for hobbes::isConstP:

Inheritance graph

Collaboration diagram for hobbes::isConstP:

Collaboration graph

Public Member Functions
bool	withConst (const Expr *) const

bool	with (const Var *) const

bool	with (const Let *) const

bool	with (const LetRec *) const

bool	with (const Fn *) const

bool	with (const App *) const

bool	with (const Assign *) const

bool	with (const MkArray *) const

bool	with (const MkVariant *) const

bool	with (const MkRecord *) const

bool	with (const AIndex *) const

bool	with (const Case *) const

bool	with (const Switch *) const

bool	with (const Proj *) const

bool	with (const Assump *) const

bool	with (const Pack *) const

bool	with (const Unpack *) const

Public Member Functions inherited from hobbes::switchExprC< bool >
bool	with (const Unit *v) const

bool	with (const Bool *v) const

bool	with (const Char *v) const

bool	with (const Byte *v) const

bool	with (const Short *v) const

bool	with (const Int *v) const

bool	with (const Long *v) const

bool	with (const Float *v) const

bool	with (const Double *v) const

Member Function Documentation

◆ with() [1/16]

bool hobbes::isConstP::with ( const Var * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [2/16]

bool hobbes::isConstP::with ( const Let * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [3/16]

bool hobbes::isConstP::with ( const LetRec * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [4/16]

bool hobbes::isConstP::with ( const Fn * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [5/16]

bool hobbes::isConstP::with ( const App * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [6/16]

bool hobbes::isConstP::with ( const Assign * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [7/16]

bool hobbes::isConstP::with ( const MkArray * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [8/16]

bool hobbes::isConstP::with ( const MkVariant * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [9/16]

bool hobbes::isConstP::with ( const MkRecord * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [10/16]

bool hobbes::isConstP::with ( const AIndex * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [11/16]

bool hobbes::isConstP::with ( const Case * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [12/16]

bool hobbes::isConstP::with ( const Switch * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [13/16]

bool hobbes::isConstP::with ( const Proj * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [14/16]

bool hobbes::isConstP::with ( const Assump * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [15/16]

bool hobbes::isConstP::with ( const Pack * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ with() [16/16]

bool hobbes::isConstP::with ( const Unpack * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

◆ withConst()

bool hobbes::isConstP::withConst ( const Expr * ) const

inlinevirtual

Implements hobbes::switchExprC< bool >.

The documentation for this struct was generated from the following file:

lib/hobbes/lang/expr.C