drop_dependent_terms< FactorType, ExpressionType > Struct Template Reference

Interface metafunction for removing dependent terms from an expression. More...

#include <drop_dependent_terms.hpp>

Public Types
typedef viennamath::result_of::expand < ExpressionType >::type	expanded_expression
typedef viennamath::result_of::substitute < FactorType, ct_constant < 0 >, expanded_expression > ::type	substituted_expression
typedef viennamath::result_of::simplify < substituted_expression > ::type	type

---

Detailed Description

template<typename FactorType, typename ExpressionType>
struct viennamath::result_of::drop_dependent_terms< FactorType, ExpressionType >

Interface metafunction for removing dependent terms from an expression.

Template Parameters:

	FactorType	The variable/expression for which all dependent terms should be thrown away
	ExpressionType	The expression from which the factor should be removed

---

Member Typedef Documentation

typedef viennamath::result_of::expand<ExpressionType>::type expanded_expression

typedef viennamath::result_of::substitute<FactorType, ct_constant<0>, expanded_expression>::type substituted_expression

typedef viennamath::result_of::simplify<substituted_expression>::type type

---

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

• /export/development/ViennaMath/viennamath/manipulation/drop_dependent_terms.hpp