From 651d6e352b2f791e88ed7929567250c874da7d06 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Wed, 27 Sep 2017 21:47:38 -0700 Subject: [PATCH] deleting dead code --- stl/parser.py | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/stl/parser.py b/stl/parser.py index 38e916a..deb1028 100644 --- a/stl/parser.py +++ b/stl/parser.py @@ -132,20 +132,9 @@ class STLVisitor(NodeVisitor): def visit_id(self, name, _): return Symbol(name.text) - - def visit_time_index(self, _, children): - children = list(flatten(children)) - return children[0] if children else ast.t_sym - - def visit_prime(self, *_): - return ast.t_sym + ast.dt_sym - def visit_const(self, const, children): return float(const.text) - def visit_dt(self, *_): - return ast.dt_sym - def visit_term(self, _, children): coeffs, (iden, time) = children c = coeffs[0] if coeffs else Number(1)