private List<Action> CreateReasoningActions(CompoundFormula cf)
{
List<Action> lActions = new List<Action>();
Action a = null;
List<Predicate> lPredicates = GetAllPredicates(cf);
foreach (Predicate p in lPredicates)
{
a = new Action(cf.ToString() + "_" + p.ToString());
a.Preconditions = new CompoundFormula("and");
CompoundFormula cfEffects = new CompoundFormula("and");
cfEffects.AddOperand(new PredicateFormula(new KnowPredicate(p)));
foreach (Predicate pOther in lPredicates)
{
if (pOther != p)
((CompoundFormula)a.Preconditions).AddOperand(new PredicateFormula(new KnowPredicate(pOther)));
}
a.SetEffects(cfEffects);
lActions.Add(a);
}
return lActions;
}
