Infrared
|
Evaluation Strategy for Optimization (max/+); defining the arctic semiring. More...
#include <feature_network.hpp>
Classes | |
class | selector |
Public Types | |
using | fun_value_t = FunValue |
using | constraint_t = Function< bool > |
using | function_t = Function< fun_value_t > |
Static Public Member Functions | |
static fun_value_t | plus (const fun_value_t &x, const fun_value_t &y) |
static fun_value_t | mul (const fun_value_t &x, const fun_value_t &y) |
static fun_value_t | one () |
static fun_value_t | zero () |
Evaluation Strategy for Optimization (max/+); defining the arctic semiring.
Defines the arctic semiring
mul corresponds to +, plus to max, zero to -infty, and one to 0
using ired::ArcticEvaluationPolicy< FunValue >::constraint_t = Function<bool> |
using ired::ArcticEvaluationPolicy< FunValue >::fun_value_t = FunValue |
using ired::ArcticEvaluationPolicy< FunValue >::function_t = Function<fun_value_t> |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |