tags.hh File Reference

Tag structures defining properties of expressions. More...

#include "../mpl/uniquetags.hh"

Include dependency graph for tags.hh:

Go to the source code of this file.

Classes
struct	Dune::ACFem::TerminalExpression
	A terminal expression is an "expression end-point", i.e. More...
struct	Dune::ACFem::VolatileExpression
	A volatile expression will not be replaced by its value except for RuntimeEqual optimizations. More...
struct	Dune::ACFem::RuntimeEqualExpression
	A tag structure signalling that objects of this type can be considered to yield the same values at runtime, if encountered in the same expression. More...
struct	Dune::ACFem::UniqueExpression< id >
	A tag for use with assume() to generate a unique type which is assumed to be "runtime equal" by inheriting from RuntimeEqualExpression. More...
struct	Dune::ACFem::IndependentExpression
	An independent expression is an expression which does not depend on external state. More...
struct	Dune::ACFem::PieceWiseConstantExpression
	Something constant on a given entity. More...
struct	Dune::ACFem::ConstantExpression
	A constant. More...
struct	Dune::ACFem::TypedValueExpression
	A tag structure signalling that this expression carries its value in its type. More...
struct	Dune::ACFem::MutableExpression
	Something which may be change between different evaluations of an expression. More...
struct	Dune::ACFem::SemiPositiveExpression
	Greater equal 0 expression. More...
struct	Dune::ACFem::SemiNegativeExpression
	Less equal 0 expression. More...
struct	Dune::ACFem::NonZeroExpression
	Complementary to ZeroExpression for use in std::conditional, for example, otherwise unused. More...
struct	Dune::ACFem::RegularZeroExpression
	Non-singular, but somehow zero, whatever that means. More...
struct	Dune::ACFem::ZeroExpression
	A tag structure which can be attached as base class to zero-expressions like the ZeroGridFunction, the ZeroModel, the ZeroFunctional. More...
struct	Dune::ACFem::PositiveExpression
	An expression which is known to be positive. More...
struct	Dune::ACFem::NegativeExpression
	An expression which is known to be negative. More...
struct	Dune::ACFem::OneExpression
	A tag structure which can be attached as base-class to expressions modelling a 1 (in a field, e.g., or the constant-one function) More...
struct	Dune::ACFem::MinusOneExpression
	A tag structure which can be attached as base-class to expressions modelling a 1 (in a field, e.g., or the constant-one function) More...

Namespaces
	Dune::ACFem
	A namespace encapsulating everything defined in our dune-acfem project.

Typedefs
TagUtilities
@
template<class A , class Tag >
using	Dune::ACFem::HasTag = std::is_base_of< Tag, std::decay_t< A > >
	Evaluate to std::true_type if std::decay_t<A> is derived from Tag, otherwise to std::false_type.

Detailed Description

Tag structures defining properties of expressions.