#include <operator.h>
Public Member Functions | |
| NumericalEffect (Variable *v, foperator fotor, Variable *fand) | |
| NumericalEffect (Variable *v, vector< EffCond > ecs_start, vector< EffCond > ecs_overall, vector< EffCond > ecs_end, foperator fotor, Variable *fand) | |
Public Attributes | |
| vector< EffCond > | effect_conds_end |
| vector< EffCond > | effect_conds_overall |
| vector< EffCond > | effect_conds_start |
| foperator | fop |
| Variable * | foperand |
| bool | is_conditional_effect |
| Variable * | var |
Definition at line 48 of file preprocess/operator.h.
| Operator::NumericalEffect::NumericalEffect | ( | Variable * | v, |
| foperator | fotor, | ||
| Variable * | fand | ||
| ) | [inline] |
Definition at line 56 of file preprocess/operator.h.
| Operator::NumericalEffect::NumericalEffect | ( | Variable * | v, |
| vector< EffCond > | ecs_start, | ||
| vector< EffCond > | ecs_overall, | ||
| vector< EffCond > | ecs_end, | ||
| foperator | fotor, | ||
| Variable * | fand | ||
| ) | [inline] |
Definition at line 60 of file preprocess/operator.h.
Definition at line 52 of file preprocess/operator.h.
Definition at line 51 of file preprocess/operator.h.
Definition at line 50 of file preprocess/operator.h.
Definition at line 53 of file preprocess/operator.h.
| Variable* Operator::NumericalEffect::foperand |
Definition at line 54 of file preprocess/operator.h.
Definition at line 55 of file preprocess/operator.h.
| Variable* Operator::NumericalEffect::var |
Definition at line 49 of file preprocess/operator.h.