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

Make len(Eps()) work

parent edf7f1c6

common.py

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

    def __iter__(self):

        return iter(())

        return iter(())





    def __len__(self):

        return 0







class Emptyset:

class Emptyset:

    def __init__(self):

    def __init__(self):