def clone(self,args):
""" clone just copies this node """
res = TemporalModels(self.model,args[0])
ia.copy_attrs(self,res)
return res
def clone(self,args):
""" clone relaces the action in a binding """
res = ActionTermBinding(self.name,args[0])
ia.copy_attrs(self,res)
return res
def clone(self,args):
""" clone just copies this node """
res = NormalProgram(self.bindings,self.init,self.invars,self.asms,self.calls)
ia.copy_attrs(self,res)
return res
def clone(self,args):
""" clone relaces the statement in an action """
res = ActionTerm(self.inputs,self.outputs,self.labels,args[0])
ia.copy_attrs(self,res)
return res