teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

revert due to bug in lens.Recur for NamedTuple

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-11-30 17:54:53 -08:00
parent d9f14b0be4
commit 799a9df006
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
stl/ast.py
View file

@ -71,7 +71,7 @@ class AST(object):
@property @property
def lineqs(self): def lineqs(self):
return set(lineq_lens.collect()(self)) return set(lineq_lens(self).Each().collect())
@property @property
def atomic_predicates(self): def atomic_predicates(self):
@ -340,7 +340,6 @@ def type_pred(*args):
return lambda x: type(x) in ast_types return lambda x: type(x) in ast_types
# lineq_lens = fn.partial(ast_lens, pred=type_pred(LinEq), getter=True) lineq_lens = fn.partial(ast_lens, pred=type_pred(LinEq), getter=True)
lineq_lens = lens.Recur(LinEq)
AP_lens = fn.partial(ast_lens, pred=type_pred(AtomicPred), getter=True) AP_lens = fn.partial(ast_lens, pred=type_pred(AtomicPred), getter=True)
and_or_lens = fn.partial(ast_lens, pred=type_pred(And, Or), getter=True) and_or_lens = fn.partial(ast_lens, pred=type_pred(And, Or), getter=True)