Seeding of RNG
Compare changes
+ 43
− 10
@@ -4,7 +4,23 @@ from typing import Any, Dict, Iterable, Iterator, List, Optional, Sequence, Set,
@@ -4,7 +4,23 @@ from typing import Any, Dict, Iterable, Iterator, List, Optional, Sequence, Set,
@@ -205,17 +221,15 @@ class AssignmentCollection:
@@ -205,17 +221,15 @@ class AssignmentCollection:
new_subexpressions = [Assignment(eq.lhs, fast_subs(eq.rhs, substitutions)) for eq in self.subexpressions]
new_equations = [Assignment(eq.lhs, fast_subs(eq.rhs, substitutions)) for eq in self.main_assignments]
"""Returns a new collection which contains self and other. Subexpressions are renamed if they clash."""
@@ -377,3 +391,22 @@ class SymbolGen:
@@ -377,3 +391,22 @@ class SymbolGen: