Verified Commit edf7f1c6 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

Turn epsilon into an (empty) thing that can be iterated over

parent 4ba5984f

common.py

+3 −0
Original line number Diff line number Diff line
@@ -71,6 +71,9 @@ class Eps: 
    def __hash__(self):

        return hash("ε")



    def __iter__(self):

        return iter(())





class Emptyset:

    def __init__(self):