effect_conds_end | Operator::NumericalEffect | |
effect_conds_overall | Operator::NumericalEffect | |
effect_conds_start | Operator::NumericalEffect | |
fop | Operator::NumericalEffect | |
foperand | Operator::NumericalEffect | |
is_conditional_effect | Operator::NumericalEffect | |
NumericalEffect(Variable *v, foperator fotor, Variable *fand) | Operator::NumericalEffect | [inline] |
NumericalEffect(Variable *v, vector< EffCond > ecs_start, vector< EffCond > ecs_overall, vector< EffCond > ecs_end, foperator fotor, Variable *fand) | Operator::NumericalEffect | [inline] |
var | Operator::NumericalEffect |