OGS
MaterialPropertyLib::Function Class Referencefinal

Detailed Description

A function property defined by mathematical expression. For the evaluation of the expressions the exprtk library is used. In the expressions all variables defined in MaterialPropertyLib::Variable enum can be used.

Warning
The evaluation calls are not to be used in parallel (openMP), because the values' updates are using the same space.

Definition at line 26 of file Function.h.

#include <Function.h>

Inheritance diagram for MaterialPropertyLib::Function:
[legend]
Collaboration diagram for MaterialPropertyLib::Function:
[legend]

Public Member Functions

 Function (std::string name, std::vector< std::string > const &value_string_expressions, std::vector< std::pair< std::string, std::vector< std::string > > > const &dvalue_string_expressions)
 
PropertyDataType value (VariableArray const &variable_array, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const override
 
PropertyDataType dValue (VariableArray const &variable_array, Variable const variable, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const override
 
- Public Member Functions inherited from MaterialPropertyLib::Property
virtual ~Property ()
 
virtual PropertyDataType initialValue (ParameterLib::SpatialPosition const &pos, double const t) const
 
virtual PropertyDataType value () const
 
virtual PropertyDataType value (VariableArray const &variable_array, VariableArray const &variable_array_prev, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 
virtual PropertyDataType dValue (VariableArray const &variable_array, VariableArray const &variable_array_prev, Variable const variable, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 
virtual PropertyDataType d2Value (VariableArray const &variable_array, Variable const variable1, Variable const variable2, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 Default implementation: 2nd derivative of any constant property is zero.
 
virtual void setProperties (std::vector< std::unique_ptr< Phase > > const &phases)
 Default implementation:
 
void setScale (std::variant< Medium *, Phase *, Component * > scale)
 
template<typename T >
initialValue (ParameterLib::SpatialPosition const &pos, double const t) const
 
template<typename T >
value () const
 
template<typename T >
value (VariableArray const &variable_array, VariableArray const &variable_array_prev, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 
template<typename T >
value (VariableArray const &variable_array, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 
template<typename T >
dValue (VariableArray const &variable_array, VariableArray const &variable_array_prev, Variable const variable, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 
template<typename T >
dValue (VariableArray const &variable_array, Variable const variable, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 
template<typename T >
d2Value (VariableArray const &variable_array, Variable const &variable1, Variable const &variable2, ParameterLib::SpatialPosition const &pos, double const t, double const dt) const
 

Private Types

using Expression = exprtk::expression<double>
 

Private Attributes

std::vector< std::pair< Variable, double * > > symbol_values_
 Mapping from variable array index to symbol table values.
 
std::vector< Expressionvalue_expressions_
 
std::vector< std::pair< Variable, std::vector< Expression > > > dvalue_expressions_
 
std::mutex mutex_
 

Additional Inherited Members

- Protected Attributes inherited from MaterialPropertyLib::Property
std::string name_
 
PropertyDataType value_
 The single value of a property.
 
PropertyDataType dvalue_
 
std::variant< Medium *, Phase *, Component * > scale_
 

Member Typedef Documentation

◆ Expression

using MaterialPropertyLib::Function::Expression = exprtk::expression<double>
private

Definition at line 47 of file Function.h.

Constructor & Destructor Documentation

◆ Function()

MaterialPropertyLib::Function::Function ( std::string name,
std::vector< std::string > const & value_string_expressions,
std::vector< std::pair< std::string, std::vector< std::string > > > const & dvalue_string_expressions )

Definition at line 153 of file Function.cpp.

158{
159 name_ = std::move(name);
160
161 // Create symbol table for used variables.
162 exprtk::symbol_table<double> symbol_table;
163
164 for (auto const& v :
165 collectVariables(value_string_expressions, dvalue_string_expressions))
166 {
167 symbol_table.create_variable(v);
168 // Store variable in the variable array and the pointer to the value in
169 // the symbol table for fast access later.
170 Variable const variable = convertStringToVariable(v);
171 symbol_values_.emplace_back(variable,
172 &symbol_table.get_variable(v)->ref());
173 }
174
175 // value expressions.
177 compileExpressions(symbol_table, value_string_expressions);
178
179 // dValue expressions.
180 for (auto const& [variable_name, string_expressions] :
181 dvalue_string_expressions)
182 {
183 dvalue_expressions_.emplace_back(
184 convertStringToVariable(variable_name),
185 compileExpressions(symbol_table, string_expressions));
186 }
187}
std::vector< Expression > value_expressions_
Definition Function.h:53
std::vector< std::pair< Variable, double * > > symbol_values_
Mapping from variable array index to symbol table values.
Definition Function.h:50
std::vector< std::pair< Variable, std::vector< Expression > > > dvalue_expressions_
Definition Function.h:57
static std::vector< exprtk::expression< T > > compileExpressions(exprtk::symbol_table< T > &symbol_table, std::vector< std::string > const &string_expressions)
Definition Function.cpp:21
static std::vector< std::string > collectVariables(std::vector< std::string > const &value_string_expressions, std::vector< std::pair< std::string, std::vector< std::string > > > const &dvalue_string_expressions)
Definition Function.cpp:125
Variable convertStringToVariable(std::string const &string)

References MaterialPropertyLib::collectVariables(), MaterialPropertyLib::compileExpressions(), MaterialPropertyLib::convertStringToVariable(), dvalue_expressions_, MaterialPropertyLib::name, MaterialPropertyLib::Property::name_, symbol_values_, and value_expressions_.

Member Function Documentation

◆ dValue()

PropertyDataType MaterialPropertyLib::Function::dValue ( VariableArray const & variable_array,
Variable const variable,
ParameterLib::SpatialPosition const & pos,
double const t,
double const dt ) const
overridevirtual

This virtual method will compute the property derivative value based on the variables that are passed as arguments with the default implementation using empty variables array for the previous time step.

The default implementation of this method only returns the property value derivative without altering it.

Reimplemented from MaterialPropertyLib::Property.

Definition at line 197 of file Function.cpp.

201{
202 auto const it = std::find_if(begin(dvalue_expressions_),
204 [&variable](auto const& v)
205 { return v.first == variable; });
206
207 if (it == end(dvalue_expressions_))
208 {
209 OGS_FATAL(
210 "Requested derivative with respect to the variable {:s} not "
211 "provided for Function-type property {:s}.",
212 variable_enum_to_string[static_cast<int>(variable)], name_);
213 }
214
215 return evaluateExpressions(symbol_values_, variable_array, it->second,
216 mutex_);
217}
#define OGS_FATAL(...)
Definition Error.h:26
static PropertyDataType evaluateExpressions(std::vector< std::pair< Variable, double * > > const &symbol_values, VariableArray const &variable_array, std::vector< exprtk::expression< double > > const &expressions, std::mutex &mutex)
Definition Function.cpp:76
static const std::array< std::string, static_cast< int >(Variable::number_of_variables)> variable_enum_to_string

References dvalue_expressions_, MaterialPropertyLib::evaluateExpressions(), mutex_, MaterialPropertyLib::Property::name_, OGS_FATAL, symbol_values_, and MaterialPropertyLib::variable_enum_to_string.

◆ value()

PropertyDataType MaterialPropertyLib::Function::value ( VariableArray const & variable_array,
ParameterLib::SpatialPosition const & pos,
double const t,
double const dt ) const
overridevirtual

This virtual method will compute the property value based on the variables that are passed as arguments with the default implementation using empty variables array for the previous time step.

Reimplemented from MaterialPropertyLib::Property.

Definition at line 189 of file Function.cpp.

192{
193 return evaluateExpressions(symbol_values_, variable_array,
195}

References MaterialPropertyLib::evaluateExpressions(), mutex_, symbol_values_, and value_expressions_.

Member Data Documentation

◆ dvalue_expressions_

std::vector<std::pair<Variable, std::vector<Expression> > > MaterialPropertyLib::Function::dvalue_expressions_
private

Derivative expressions with respect to the variable. Multiple expressions are representing vector-valued functions.

Definition at line 57 of file Function.h.

Referenced by Function(), and dValue().

◆ mutex_

std::mutex MaterialPropertyLib::Function::mutex_
mutableprivate

Definition at line 59 of file Function.h.

Referenced by dValue(), and value().

◆ symbol_values_

std::vector<std::pair<Variable, double*> > MaterialPropertyLib::Function::symbol_values_
private

Mapping from variable array index to symbol table values.

Definition at line 50 of file Function.h.

Referenced by Function(), dValue(), and value().

◆ value_expressions_

std::vector<Expression> MaterialPropertyLib::Function::value_expressions_
private

Value expressions. Multiple expressions are representing vector-valued functions.

Definition at line 53 of file Function.h.

Referenced by Function(), and value().


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