From: Tim Vieira Date: Fri, 5 Jul 2013 22:24:28 +0000 (-0400) Subject: remove cruft. X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=0802c39c20107eb32f167cafa88672890ad5fdc1;p=dyna2 remove cruft. --- diff --git a/src/Dyna/Backend/Python/interpreter.py b/src/Dyna/Backend/Python/interpreter.py index b70f666..19dfd5d 100644 --- a/src/Dyna/Backend/Python/interpreter.py +++ b/src/Dyna/Backend/Python/interpreter.py @@ -180,20 +180,6 @@ class Interpreter(object): tmp.rmtree() tmp.makedirs_p() - def __getstate__(self): - return ((self.chart, - self.agenda, - self.error, - self.agg_name, - self.parser_state), - '\n'.join(self.rules[i].src for i in sorted(self.rules))) - - def __setstate__(self, state): - ((self.chart, self.agenda, self.error, self.agg_name, self.parser_state), code) = state - self.updaters = defaultdict(list) - self.rules = ddict(Rule) - self.do(self.dynac_code(code), initialize=False) - def new_fn(self, fn, agg): # check for aggregator conflict. if self.agg_name[fn] is None: @@ -497,14 +483,12 @@ class Interpreter(object): rule.query = handler handler.rule = rule rule.head_fn = fn - rule.index = ruleix def new_initializer(self, ruleix, init): rule = self.rules[ruleix] assert rule.init is None rule.init = init init.rule = rule - rule.index = ruleix def delete_emit(self, item, val, ruleix, variables): self.emit(item, val, ruleix, variables, delete=True)