mirror of
https://github.com/triqs/dft_tools
synced 2024-11-01 03:33:50 +01:00
61 lines
1.8 KiB
ReStructuredText
61 lines
1.8 KiB
ReStructuredText
|
|
.. highlight:: c
|
|
|
|
Evaluating clef expressions
|
|
===============================
|
|
|
|
Forming expressions is nice, but completely useless unless one can *evaluate* them
|
|
by affecting some values to the placeholder and actually *do* the computation.
|
|
|
|
Expressions are evaluated with the eval function ::
|
|
|
|
eval ( expression , placeholder_1 = value_1, placeholder_2 = value_2, ...)
|
|
|
|
The evaluation can be :
|
|
|
|
* *complete* : when a value has been affected to every placeholder, so the result is not
|
|
an expression any more, but the result of the computation....
|
|
|
|
* *partial* : when some placeholder are still free (no value has been affected to them).
|
|
The result is another expression where the parts that could be computed have been computed.
|
|
|
|
Complete evaluation
|
|
--------------------
|
|
|
|
Example ::
|
|
|
|
eval (x_ + 2*y_ , x_=1, y_ = 2)
|
|
|
|
auto e = x_ + 2*y_;
|
|
auto r = eval( e , x_=1, y_ = 2);
|
|
|
|
Note that :
|
|
|
|
* The order of placeholder does not matter in calling eval.
|
|
* It is an error to put the same placeholder twice.
|
|
* The correct version of eval is found by ADL (Argument Dependent Lookup).
|
|
(It if the clef::eval since arguments are defined in the clef namespace)
|
|
|
|
Partial evaluation
|
|
--------------------
|
|
|
|
The evaluation can also be partial, in which case the compiler replaces the placeholder whose value is provided
|
|
and rebuild a new expression tree.
|
|
|
|
Example ::
|
|
|
|
auto e1 = x_ + 2*y_;
|
|
// return type ---> value
|
|
auto r = eval( e1 , x_ =1); // expression ---> 1 + (2 * y_)
|
|
auto e2 = eval( e1 , x_ =x_ + y_); // expression ---> ((x_ + y_) + (2 * y_))
|
|
auto r = eval( e2, x_ = 1, y_ = 2); // int ---> 7
|
|
|
|
During the partial evaluation, all subtrees that can evaluated are evaluated.
|
|
For example ::
|
|
|
|
eval(x_ + f(y_) , y_=1); // --> x + f(1)
|
|
|
|
In this case, the function f is called by eval.
|
|
|
|
|