strip string
This commit is contained in:
parent
c7a388d894
commit
52a55985f1
1 changed files with 5 additions and 5 deletions
10
converter.py
10
converter.py
|
@ -18,22 +18,22 @@ class System:
|
||||||
substitutions: list[tuple[str, str]],
|
substitutions: list[tuple[str, str]],
|
||||||
interpretations: list[tuple[str, str]],
|
interpretations: list[tuple[str, str]],
|
||||||
):
|
):
|
||||||
self.name = name
|
self.name = name.strip()
|
||||||
"""System name"""
|
"""System name"""
|
||||||
|
|
||||||
self.base = base
|
self.base = map(str.strip, base)
|
||||||
"""Set used"""
|
"""Set used"""
|
||||||
|
|
||||||
self.axiom = axiom
|
self.axiom = axiom.strip()
|
||||||
"""Axiom used at the start of iterations"""
|
"""Axiom used at the start of iterations"""
|
||||||
|
|
||||||
self.substitutions = substitutions
|
self.substitutions = [(m.strip(), s.strip()) for m, s in substitutions]
|
||||||
"""
|
"""
|
||||||
Substitution for each member of the base,
|
Substitution for each member of the base,
|
||||||
represented as a couple (member, substitution)
|
represented as a couple (member, substitution)
|
||||||
"""
|
"""
|
||||||
|
|
||||||
self.interpretations = interpretations
|
self.interpretations = [(m.strip(), i.strip()) for m, i in interpretations]
|
||||||
"""
|
"""
|
||||||
Interpretation for each member of the base,
|
Interpretation for each member of the base,
|
||||||
represented as a couple (member, interpretation)
|
represented as a couple (member, interpretation)
|
||||||
|
|
Reference in a new issue