private void AddReasoningAction(Formula fPreconditions, Formula fEffect) { Action a = new Action("Reasoning" + ReasoningActions.Count); a.Preconditions = fPreconditions; a.SetEffects(fEffect); ReasoningActions.Add(a); }
private void ReadEffect(CompoundExpression exp, Action pa, Domain d, bool bParametrized) { string sOperator = exp.Type; Formula f = null; if (pa is ParametrizedAction) { f = ReadFormula(exp, ((ParametrizedAction)pa).ParameterNameToType, bParametrized, d); } else { f = ReadFormula(exp, d.ConstantNameToType, bParametrized, d); } pa.SetEffects(f); }