Skip to content

Instantly share code, notes, and snippets.

#!/usr/bin/env python3
import sys
import math
import xml.etree.ElementTree as ET
tree = ET.parse(sys.argv[1])
for se in tree.findall("./Strecke/StrElement"):
ueberh = float(se.attrib.get("Ueberh", 0))
if not ueberh:
#!/usr/bin/env python
import socket
import struct
class Node:
def __init__(self, id, attribs=[], children=[]):
self.id = id
self.attribs = attribs
self.children = children