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