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);
}
