// En vez de ITerm Clone() voy a poner object Clone()
public override object Clone()
{
Plan p = new Plan();
if (label != null)
{
p.SetLabel((Pred)label.Clone());
}
p.tevent = tevent.Clone();
if (context != null)
{
p.context = (ILogicalFormula)context.Clone();
}
p.body = body.ClonePB();
p.SetSrcInfo(srcInfo); // ???
p.isTerm = isTerm;
return(p);
}
public object Clone()
{
IntendedPlan c = new IntendedPlan();
c.unif = unif.Clone();
if (planBody != null)
{
c.planBody = planBody.ClonePB();
}
c.trigger = trigger.Clone();
c.plan = plan;
return(c);
}
