CustomSFOpTransform< OpImpl, GrammarT >::impl< ExprT, StateT, DataT > Struct Template Reference

#include <ElementOperations.hpp>

Inherits transform_impl< ExprT, StateT, DataT >.

Classes
struct	apply
	Pass the stored parameter if the result type is a reference, don't store otherwise. More...
struct	apply< ResultT & >
	Specialization for references. More...
struct	ChildType
struct	EvaluatedChild
	Helper to get the variable type at a child of an expression. More...
struct	GetChild
struct	GetChild< Var< I, T > >
	Specialization to get the associated data. More...
struct	ResultType
	Helper to get the result type. More...
struct	ResultType< boost::proto::tag::function, 10, Dummy >
	Specialization for a function with 9 arguments. More...
struct	ResultType< boost::proto::tag::function, 2, Dummy >
	Specialization for a function with one argument. More...
struct	ResultType< boost::proto::tag::function, 3, Dummy >
	Specialization for a function with 2 arguments. More...
struct	ResultType< boost::proto::tag::function, 4, Dummy >
	Specialization for a function with 3 arguments. More...
struct	ResultType< boost::proto::tag::function, 5, Dummy >
	Specialization for a function with 4 arguments. More...
struct	ResultType< boost::proto::tag::function, 6, Dummy >
	Specialization for a function with 5 arguments. More...
struct	ResultType< boost::proto::tag::function, 7, Dummy >
	Specialization for a function with 6 arguments. More...
struct	ResultType< boost::proto::tag::function, 8, Dummy >
	Specialization for a function with 7 arguments. More...
struct	ResultType< boost::proto::tag::function, 9, Dummy >
	Specialization for a function with 8 arguments. More...
struct	ResultType< boost::proto::tag::terminal, 0, Dummy >
	Used as a terminal, so we assume it just needs the basic context data. More...

Public Types
typedef ResultType< typename boost::proto::tag_of< ExprT >::type, boost::proto::arity_of< ExprT >::value >::type	result_type
typedef boost::remove_const< typename impl::expr >::type &	ExprParamT

Public Member Functions
result_type	operator() (typename impl::expr_param expr, typename impl::state_param state, typename impl::data_param data)

Detailed Description

template<typename OpImpl, typename GrammarT>
template<typename ExprT, typename StateT, typename DataT>
struct cf3::solver::actions::Proto::CustomSFOpTransform< OpImpl, GrammarT >::impl< ExprT, StateT, DataT >

Definition at line 344 of file ElementOperations.hpp.

Member Typedef Documentation

typedef boost::remove_const<typename impl::expr>::type& ExprParamT

Definition at line 484 of file ElementOperations.hpp.

typedef ResultType<typename boost::proto::tag_of<ExprT>::type, boost::proto::arity_of<ExprT>::value>::type result_type

Definition at line 481 of file ElementOperations.hpp.

Member Function Documentation

result_type operator() ( typename impl< ExprT, StateT, DataT >::expr_param  expr, typename impl< ExprT, StateT, DataT >::state_param  state, typename impl< ExprT, StateT, DataT >::data_param  data  )

inline

Definition at line 486 of file ElementOperations.hpp.

---

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

• cf3/solver/actions/Proto/ElementOperations.hpp