Project

General

Profile

« Previous | Next » 

Revision 69243f7f

ID69243f7fbf1abe627c5d794a015b9ae0c3f41ad0
Parent b36e57bc
Child a9949a25

Added by Thorsten WiƟmann over 4 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