Public Member Functions | |
LogicAxiomRule (int cond_count, int eff_var, int eff_val, LogicAxiomLiteral *eff_literal) | |
Public Attributes | |
int | condition_count |
LogicAxiomLiteral * | effect_literal |
int | effect_val |
int | effect_var |
int | unsatisfied_conditions |
AxiomEvaluator::LogicAxiomRule::LogicAxiomRule | ( | int | cond_count, |
int | eff_var, | ||
int | eff_val, | ||
LogicAxiomLiteral * | eff_literal | ||
) | [inline] |