![]() |
MAiNGO
|
Evaluates ALE expressions to Var. More...
#include <MAiNGOevaluator.h>
Public Member Functions | |
MaingoEvaluator (symbol_table &symbols, const std::vector< Var > &variables, const std::unordered_map< std::string, int > &positions) | |
Constructor. More... | |
Dispatch functions | |
Functions dispatching to visit functions | |
Var | dispatch (expression< real< 0 >> &expr) |
ConstraintContainer | dispatch (expression< boolean< 0 >> &expr) |
template<typename TReturn , typename TType > | |
TReturn | dispatch (value_node< TType > *node) |
template<unsigned IDim> | |
ale::index< IDim >::ref_type | dispatch (value_node< ale::index< IDim >> *node) |
template<typename TType > | |
set< TType, 0 >::basic_type | dispatch (value_node< set< TType, 0 >> *node) |
template<unsigned IDim> | |
tensor< Var, IDim > | dispatch (value_node< real< IDim >> *node) |
Var | dispatch (value_node< real< 0 >> *node) |
ConstraintContainer | dispatch (value_node< boolean< 0 >> *node) |
template<unsigned IDim> | |
tensor< Var, IDim > | dispatch (value_symbol< real< IDim >> *sym) |
Var | dispatch (value_symbol< real< 0 >> *sym) |
Visit functions | |
symbol_table & | _symbols |
const std::vector< Var > & | _variables |
const std::unordered_map< std::string, int > & | _positions |
template<unsigned IDim> | |
tensor< Var, IDim > | operator() (constant_node< real< IDim >> *node) |
Var | operator() (constant_node< real< 0 >> *node) |
ConstraintContainer | operator() (constant_node< boolean< 0 >> *node) |
template<unsigned IDim> | |
tensor< Var, IDim > | operator() (parameter_node< real< IDim >> *node) |
Var | operator() (parameter_node< real< 0 >> *node) |
ConstraintContainer | operator() (parameter_node< boolean< 0 >> *node) |
template<unsigned IDim> | |
tensor< Var, IDim > | operator() (parameter_symbol< real< IDim >> *sym) |
Var | operator() (parameter_symbol< real< 0 >> *sym) |
template<unsigned IDim> | |
tensor< Var, IDim > | operator() (variable_symbol< real< IDim >> *sym) |
Var | operator() (variable_symbol< real< 0 >> *sym) |
Var | operator() (expression_symbol< real< 0 >> *sym) |
ConstraintContainer | operator() (expression_symbol< boolean< 0 >> *sym) |
template<unsigned IDim> | |
tensor< Var, IDim > | operator() (entry_node< real< IDim >> *node) |
Var | operator() (entry_node< real< 0 >> *node) |
Var | operator() (minus_node *node) |
Var | operator() (inverse_node *node) |
Var | operator() (addition_node *node) |
Var | operator() (sum_div_node *node) |
Var | operator() (xlog_sum_node *node) |
Var | operator() (multiplication_node *node) |
Var | operator() (exponentiation_node *node) |
Var | operator() (min_node *node) |
Var | operator() (max_node *node) |
template<typename TType > | |
Var | operator() (set_min_node< TType > *node) |
template<typename TType > | |
Var | operator() (set_max_node< TType > *node) |
Var | operator() (exp_node *node) |
Var | operator() (log_node *node) |
Var | operator() (sqrt_node *node) |
Var | operator() (sin_node *node) |
Var | operator() (asin_node *node) |
Var | operator() (cos_node *node) |
Var | operator() (acos_node *node) |
Var | operator() (tan_node *node) |
Var | operator() (atan_node *node) |
Var | operator() (lmtd_node *node) |
Var | operator() (xexpax_node *node) |
Var | operator() (arh_node *node) |
Var | operator() (lb_func_node *node) |
Var | operator() (ub_func_node *node) |
Var | operator() (bounding_func_node *node) |
Var | operator() (ale::squash_node *node) |
Var | operator() (ale::regnormal_node *node) |
Var | operator() (nrtl_dtau_node *node) |
Var | operator() (ext_antoine_psat_node *node) |
Var | operator() (antoine_psat_node *node) |
Var | operator() (wagner_psat_node *node) |
Var | operator() (ik_cape_psat_node *node) |
Var | operator() (aspen_hig_node *node) |
Var | operator() (nasa9_hig_node *node) |
Var | operator() (dippr107_hig_node *node) |
Var | operator() (dippr127_hig_node *node) |
Var | operator() (antoine_tsat_node *node) |
Var | operator() (watson_dhvap_node *node) |
Var | operator() (dippr106_dhvap_node *node) |
Var | operator() (cost_turton_node *node) |
Var | operator() (covar_matern_1_node *node) |
Var | operator() (covar_matern_3_node *node) |
Var | operator() (covar_matern_5_node *node) |
Var | operator() (covar_sqrexp_node *node) |
Var | operator() (gpdf_node *node) |
Var | operator() (nrtl_tau_node *node) |
Var | operator() (nrtl_g_node *node) |
Var | operator() (nrtl_gtau_node *node) |
Var | operator() (nrtl_gdtau_node *node) |
Var | operator() (nrtl_dgtau_node *node) |
Var | operator() (norm2_node *node) |
Var | operator() (abs_node *node) |
Var | operator() (xabsx_node *node) |
Var | operator() (xlogx_node *node) |
Var | operator() (cosh_node *node) |
Var | operator() (sinh_node *node) |
Var | operator() (tanh_node *node) |
Var | operator() (coth_node *node) |
Var | operator() (acosh_node *node) |
Var | operator() (asinh_node *node) |
Var | operator() (atanh_node *node) |
Var | operator() (acoth_node *node) |
Var | operator() (erf_node *node) |
Var | operator() (erfc_node *node) |
Var | operator() (pos_node *node) |
Var | operator() (neg_node *node) |
Var | operator() (rlmtd_node *node) |
Var | operator() (xexpy_node *node) |
Var | operator() (schroeder_ethanol_p_node *node) |
Var | operator() (schroeder_ethanol_rhovap_node *node) |
Var | operator() (schroeder_ethanol_rholiq_node *node) |
Var | operator() (mid_node *node) |
template<typename TType > | |
Var | operator() (sum_node< TType > *node) |
ConstraintContainer | operator() (negation_node *node) |
ConstraintContainer | operator() (equal_node< real< 0 >> *node) |
ConstraintContainer | operator() (less_node< real< 0 >> *node) |
ConstraintContainer | operator() (less_equal_node< real< 0 >> *node) |
ConstraintContainer | operator() (greater_node< real< 0 >> *node) |
ConstraintContainer | operator() (greater_equal_node< real< 0 >> *node) |
ConstraintContainer | operator() (equal_node< ale::index< 0 >> *node) |
ConstraintContainer | operator() (less_node< ale::index< 0 >> *node) |
ConstraintContainer | operator() (less_equal_node< ale::index< 0 >> *node) |
ConstraintContainer | operator() (greater_node< ale::index< 0 >> *node) |
ConstraintContainer | operator() (greater_equal_node< ale::index< 0 >> *node) |
ConstraintContainer | operator() (disjunction_node *node) |
ConstraintContainer | operator() (conjunction_node *node) |
ConstraintContainer | operator() (element_node *node) |
template<typename TType > | |
ConstraintContainer | operator() (forall_node< TType > *node) |
Evaluates ALE expressions to Var.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
|
private |
@
|
private |