def newvar(self, name=None): """ Make a new variable. Should return a Var instance, possibly with interesting attributes set that e.g. add_trail can inspect.""" if (name == None): raise Error("ERROR BindingVar has no name") result = BindingVar(name) result.created_after_choice_point = self return result
def newvar(self): """ Make a new variable. Should return a Var instance, possibly with interesting attributes set that e.g. add_trail can inspect.""" result = BindingVar() result.created_after_choice_point = self return result