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