Beispiel #1
0
 def __init__(self):
     self.empty = empty
     self.lit = memoize(_lit)
     self.mkalt = memoize(self._alt)
     self.mkseq = memoize(self._seq)
     self.mkmany = memoize(self._many)
Beispiel #2
0
 def __init__(self):
     self.empty = empty
     self.lit = memoize(_lit)
     self.mkalt = memoize(self._alt)
     self.mkseq = memoize(self._seq)
     self.mkmany = memoize(self._many)
Beispiel #3
0
def mark(nullable, deriv, tag, args):
    deriv.nullable = nullable
    deriv.tag = tag
    deriv.args = args
    deriv.deriv = memoize(deriv)
    return deriv
Beispiel #4
0
def mark(nullable, deriv, tag, args):
    deriv.nullable = nullable
    deriv.tag = tag
    deriv.args = args
    deriv.deriv = memoize(deriv)
    return deriv