deal.II version GIT relicensing-2289-g1e5549a87a 2024-12-21 21:30:00+00:00
|
#include <deal.II/base/tensor_function_parser.h>
Public Types | |
using | ConstMap = std::map< std::string, double > |
using | value_type = Tensor< rank, dim, Number > |
using | gradient_type = Tensor< rank+1, dim, Number > |
using | time_type = typename FunctionTime< typename numbers::NumberTraits< Number >::real_type >::time_type |
Public Member Functions | |
TensorFunctionParser (const double initial_time=0.0) | |
TensorFunctionParser (const std::string &expression, const std::string &constants="", const std::string &variable_names=default_variable_names()+",t") | |
TensorFunctionParser (const TensorFunctionParser &)=delete | |
TensorFunctionParser (TensorFunctionParser &&)=delete | |
TensorFunctionParser & | operator= (const TensorFunctionParser &)=delete |
TensorFunctionParser & | operator= (TensorFunctionParser &&)=delete |
virtual void | initialize (const std::string &vars, const std::vector< std::string > &expressions, const ConstMap &constants, const bool time_dependent=false) override |
void | initialize (const std::string &vars, const std::string &expression, const ConstMap &constants, const bool time_dependent=false) |
virtual Tensor< rank, dim, Number > | value (const Point< dim > &p) const override |
virtual void | value_list (const std::vector< Point< dim > > &p, std::vector< Tensor< rank, dim, Number > > &values) const override |
const std::vector< std::string > & | get_expressions () const |
virtual gradient_type | gradient (const Point< dim > &p) const |
virtual void | gradient_list (const std::vector< Point< dim > > &points, std::vector< gradient_type > &gradients) const |
Number | get_time () const |
virtual void | set_time (const Number new_time) |
virtual void | advance_time (const Number delta_t) |
template<class Archive > | |
void | serialize (Archive &ar, const unsigned int version) |
EnableObserverPointer functionality | |
Classes derived from EnableObserverPointer provide a facility to subscribe to this object. This is mostly used by the ObserverPointer class. | |
void | subscribe (std::atomic< bool > *const validity, const std::string &identifier="") const |
void | unsubscribe (std::atomic< bool > *const validity, const std::string &identifier="") const |
unsigned int | n_subscriptions () const |
template<typename StreamType > | |
void | list_subscribers (StreamType &stream) const |
void | list_subscribers () const |
Static Public Member Functions | |
static std::string | default_variable_names () |
static ::ExceptionBase & | ExcParseError (int arg1, std::string arg2) |
static ::ExceptionBase & | ExcInvalidExpressionSize (int arg1, int arg2) |
static ::ExceptionBase & | ExcInUse (int arg1, std::string arg2, std::string arg3) |
static ::ExceptionBase & | ExcNoSubscriber (std::string arg1, std::string arg2) |
Protected Member Functions | |
void | init_muparser () const |
Number | do_value (const Point< dim > &p, const double time, unsigned int component) const |
void | do_all_values (const Point< dim > &p, const double time, ArrayView< Number > &values) const |
Protected Attributes | |
std::vector< std::string > | expressions |
Private Types | |
using | map_value_type = decltype(counter_map)::value_type |
using | map_iterator = decltype(counter_map)::iterator |
Private Member Functions | |
void | check_no_subscribers () const noexcept |
Private Attributes | |
unsigned int | n_components |
Number | time |
std::atomic< unsigned int > | counter |
std::map< std::string, unsigned int > | counter_map |
std::vector< std::atomic< bool > * > | validity_pointers |
const std::type_info * | object_info |
Threads::ThreadLocalStorage< internal::FunctionParser::ParserData > | parser_data |
std::map< std::string, double > | constants |
std::vector< std::string > | var_names |
bool | initialized |
unsigned int | n_vars |
Static Private Attributes | |
static std::mutex | mutex |
This class implements a tensor function object that gets its value by parsing a string describing this function. It is a wrapper class for the muparser library (see http://muparser.beltoforion.de/). This class is essentially an extension of the FunctionParser class to read in a TensorFunction. The class reads in an expression of length dimrank (separated by a semicolon) where the components of the tensor function are filled according to the C++ convention (fastest index is the most right one).
A minimal example for the usage of the class would be:
See also the documentation of the FunctionParser class.
This class overloads the virtual method value() and value_list() of the TensorFunction base class with the byte compiled versions of the expressions given to the initialize() methods. Note that the class will not work unless you first call the initialize() method that accepts the text description of the function as an argument (among other things).
The syntax to describe a function follows usual programming practice, and is explained in detail at the homepage of the underlying muparser library at http://muparser.beltoforion.de/ .
Vector-valued functions can either be declared using strings where the function components are separated by semicolons, or using a vector of strings each defining one vector component.
Definition at line 105 of file tensor_function_parser.h.
using TensorFunctionParser< rank, dim, Number >::ConstMap = std::map<std::string, double> |
Type for the constant map. Used by the initialize() method.
Definition at line 160 of file tensor_function_parser.h.
|
inherited |
Alias for the return types of the value
function.
Definition at line 63 of file tensor_function.h.
|
inherited |
Alias for the return types of the gradient
functions.
Definition at line 68 of file tensor_function.h.
|
inherited |
The scalar-valued real type used for representing time.
Definition at line 73 of file tensor_function.h.
|
privateinherited |
The data type used in counter_map.
Definition at line 238 of file enable_observer_pointer.h.
|
privateinherited |
The iterator type used in counter_map.
Definition at line 243 of file enable_observer_pointer.h.
TensorFunctionParser< rank, dim, Number >::TensorFunctionParser | ( | const double | initial_time = 0.0 | ) |
Standard constructor. Only set initial time. This object needs to be initialized with the initialize() method before you can use it. If an attempt to use this function is made before the initialize() method has been called, then an exception is thrown.
Definition at line 39 of file tensor_function_parser.cc.
TensorFunctionParser< rank, dim, Number >::TensorFunctionParser | ( | const std::string & | expression, |
const std::string & | constants = "" , |
||
const std::string & | variable_names = default_variable_names() + ",t" |
||
) |
Constructor for parsed functions. This object needs to be initialized with the initialize() method before you can use it. If an attempt to use this function is made before the initialize() method has been called, then an exception is thrown. Takes a semicolon separated list of expressions (one for each component of the tensor function), an optional comma-separated list of constants.
Definition at line 47 of file tensor_function_parser.cc.
|
delete |
Copy constructor. Objects of this type can not be copied, and consequently this constructor is deleted.
|
delete |
Move constructor. Objects of this type can not be moved, and consequently this constructor is deleted.
|
delete |
Copy operator. Objects of this type can not be copied, and consequently this operator is deleted.
|
delete |
Move operator. Objects of this type can not be moved, and consequently this operator is deleted.
|
overridevirtual |
Initialize the tensor function. This method accepts the following parameters:
[in] | vars | A string with the variables that will be used by the expressions to be evaluated. Note that the variables can have any name (of course different from the function names defined above!), but the order IS important. The first variable will correspond to the first component of the point in which the function is evaluated, the second variable to the second component and so forth. If this function is also time dependent, then it is necessary to specify it by setting the time_dependent parameter to true. An exception is thrown if the number of variables specified here is different from dim (if this function is not time-dependent) or from dim+1 (if it is time-dependent). |
[in] | expressions | A vector of strings containing the expressions that will be byte compiled by the internal parser (TensorFunctionParser). Note that the size of this vector must match exactly the number of components of the TensorFunctionParser, as declared in the constructor. If this is not the case, an exception is thrown. |
[in] | constants | A map of constants used to pass any necessary constant that we want to specify in our expressions (in the example above the number pi). An expression is valid if and only if it contains only defined variables and defined constants (other than the functions specified above). If a constant is given whose name is not valid (eg: constants["sin"] = 1.5; ) an exception is thrown. |
[in] | time_dependent | If this is a time dependent function, then the last variable declared in vars is assumed to be the time variable, and this->get_time() is used to initialize it when evaluating the function. Naturally the number of variables parsed by the initialize() method in this case is dim+1. The value of this parameter defaults to false, i.e. do not consider time. |
Reimplemented from internal::FunctionParser::ParserImplementation< dim, Number >.
Definition at line 73 of file tensor_function_parser.cc.
void TensorFunctionParser< rank, dim, Number >::initialize | ( | const std::string & | vars, |
const std::string & | expression, | ||
const ConstMap & | constants, | ||
const bool | time_dependent = false |
||
) |
Initialize the function. Same as above, but accepts a string rather than a vector of strings. If this is a vector valued function, its components are expected to be separated by a semicolon. An exception is thrown if this method is called and the number of components successfully parsed does not match the number of components of the base function.
Definition at line 89 of file tensor_function_parser.cc.
|
static |
A function that returns default names for variables, to be used in the first argument of the initialize() functions: it returns "x" in 1d, "x,y" in 2d, and "x,y,z" in 3d.
Definition at line 273 of file tensor_function_parser.h.
|
overridevirtual |
Return the value of the tensor function at the given point.
Reimplemented from TensorFunction< rank, dim, Number >.
Definition at line 105 of file tensor_function_parser.cc.
|
overridevirtual |
Return the value of the tensor function at the given point.
Reimplemented from TensorFunction< rank, dim, Number >.
Definition at line 120 of file tensor_function_parser.cc.
const std::vector< std::string > & TensorFunctionParser< rank, dim, Number >::get_expressions | ( | ) | const |
Return an array of function expressions (one per component), used to initialize this function.
Definition at line 31 of file tensor_function_parser.cc.
|
virtualinherited |
Return the gradient of the function at the given point.
Reimplemented in ConstantTensorFunction< rank, dim, Number >, and ConstantTensorFunction< rank, dim, double >.
|
virtualinherited |
Set gradients
to the gradients of the function at the points
. It is assumed that values
already has the right size, i.e. the same size as the points
array.
|
inherited |
Return the value of the time variable.
|
virtualinherited |
Set the time to new_time
, overwriting the old value.
|
virtualinherited |
Advance the time by the given time step delta_t
.
|
inherited |
Subscribes a user of the object by storing the pointer validity
. The subscriber may be identified by text supplied as identifier
.
Definition at line 131 of file enable_observer_pointer.cc.
|
inherited |
Unsubscribes a user from the object.
identifier
and the validity
pointer must be the same as the one supplied to subscribe(). Definition at line 151 of file enable_observer_pointer.cc.
|
inlineinherited |
Return the present number of subscriptions to this object. This allows to use this class for reference counted lifetime determination where the last one to unsubscribe also deletes the object.
Definition at line 322 of file enable_observer_pointer.h.
|
inlineinherited |
List the subscribers to the input stream
.
Definition at line 339 of file enable_observer_pointer.h.
|
inherited |
List the subscribers to deallog
.
Definition at line 199 of file enable_observer_pointer.cc.
|
inlineinherited |
Read or write the data of this object to or from a stream for the purpose of serialization using the BOOST serialization library.
This function does not actually serialize any of the member variables of this class. The reason is that what this class stores is only who subscribes to this object, but who does so at the time of storing the contents of this object does not necessarily have anything to do with who subscribes to the object when it is restored. Consequently, we do not want to overwrite the subscribers at the time of restoring, and then there is no reason to write the subscribers out in the first place.
Definition at line 331 of file enable_observer_pointer.h.
|
privatenoexceptinherited |
Check that there are no objects subscribing to this object. If this check passes then it is safe to destroy the current object. It this check fails then this function will either abort or print an error message to deallog (by using the AssertNothrow mechanism), but will not throw an exception.
Definition at line 53 of file enable_observer_pointer.cc.
|
inherited |
Set up the internal muParser objects to parse and evaluate mathematical expressions.
Definition at line 306 of file mu_parser_internal.cc.
|
inherited |
Compute the value of a single component.
Definition at line 411 of file mu_parser_internal.cc.
|
inherited |
Compute the values of all components.
Definition at line 458 of file mu_parser_internal.cc.
|
private |
Number of components is equal dimrank.
Definition at line 267 of file tensor_function_parser.h.
|
privateinherited |
Store the present time.
Definition at line 112 of file function_time.h.
|
mutableprivateinherited |
Store the number of objects which subscribed to this object. Initially, this number is zero, and upon destruction it shall be zero again (i.e. all objects which subscribed should have unsubscribed again).
The creator (and owner) of an object is counted in the map below if HE manages to supply identification.
We use the mutable
keyword in order to allow subscription to constant objects also.
This counter may be read from and written to concurrently in multithreaded code: hence we use the std::atomic
class template.
Definition at line 227 of file enable_observer_pointer.h.
|
mutableprivateinherited |
In this map, we count subscriptions for each different identification string supplied to subscribe().
Definition at line 233 of file enable_observer_pointer.h.
|
mutableprivateinherited |
In this vector, we store pointers to the validity bool in the ObserverPointer objects that subscribe to this class.
Definition at line 249 of file enable_observer_pointer.h.
|
mutableprivateinherited |
Pointer to the typeinfo object of this object, from which we can later deduce the class name. Since this information on the derived class is neither available in the destructor, nor in the constructor, we obtain it in between and store it here.
Definition at line 257 of file enable_observer_pointer.h.
|
staticprivateinherited |
A mutex used to ensure data consistency when accessing the mutable
members of this class. This lock is used in the subscribe() and unsubscribe() functions, as well as in list_subscribers()
.
Definition at line 280 of file enable_observer_pointer.h.
|
inherited |
An array of function expressions (one per component), required to initialize tfp in each thread.
Definition at line 202 of file mu_parser_internal.h.
|
mutableprivateinherited |
The muParser objects (hidden with the PIMPL idiom) for each thread (and one for each component).
Definition at line 210 of file mu_parser_internal.h.
|
privateinherited |
An array to keep track of all the constants, required to initialize fp in each thread.
Definition at line 216 of file mu_parser_internal.h.
|
privateinherited |
An array for the variable names, required to initialize fp in each thread.
Definition at line 222 of file mu_parser_internal.h.
|
privateinherited |
State of usability. This variable is checked every time the function is called for evaluation. It's set to true in the initialize() methods.
Definition at line 228 of file mu_parser_internal.h.
|
privateinherited |
Number of variables. If this is also a function of time, then the number of variables is dim+1, otherwise it is dim. In the case that this is a time dependent function, the time is supposed to be the last variable. If n_vars is not identical to the number of the variables parsed by the initialize() method, then an exception is thrown.
Definition at line 237 of file mu_parser_internal.h.