Project

General

Profile

« Previous | Next » 

Revision a1e7b9b7

IDa1e7b9b7455ad04bfc9f5d03add3652de51f1a7e
Parent f5e17a6b
Child 6a87d644

Added by Thorsten WiƟmann about 5 years ago

Generalize ruleEnumeration by introducing lazylist

Introduce a new generic data type lazylist, e.g. used for lazy rule
enumerations.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences