Skip to content
Snippets Groups Projects
Commit 681d7a7e authored by Stephan Seitz's avatar Stephan Seitz
Browse files

Forward {find,match,subs,replace} of Assignment to AssignmentCollection

parent b8203fb8
Branches
Tags
1 merge request!14Remove floor, ceiling for integer symbols
...@@ -362,6 +362,29 @@ class AssignmentCollection: ...@@ -362,6 +362,29 @@ class AssignmentCollection:
self.sub_expressions = [Assignment(k, v) self.sub_expressions = [Assignment(k, v)
for k, v in sub_expressions_dict.items()] for k, v in sub_expressions_dict.items()]
def find(self, *args, **kwargs):
return set.union(*[a.find(*args, **kwargs) for a in self.all_assignments])
def match(self, *args, **kwargs):
rtn = {}
for a in self.all_assignments:
partial_result = a.match(*args, **kwargs)
if partial_result:
rtn.update(partial_result)
return rtn
def subs(self, *args, **kwargs):
return AssignmentCollection(
main_assignments=[a.subs(*args, **kwargs) for a in self.main_assignments],
subexpressions=[a.subs(*args, **kwargs) for a in self.subexpressions]
)
def replace(self, *args, **kwargs):
return AssignmentCollection(
main_assignments=[a.replace(*args, **kwargs) for a in self.main_assignments],
subexpressions=[a.replace(*args, **kwargs) for a in self.subexpressions]
)
class SymbolGen: class SymbolGen:
"""Default symbol generator producing number symbols ζ_0, ζ_1, ...""" """Default symbol generator producing number symbols ζ_0, ζ_1, ..."""
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment