Commit graph

2 commits

Author SHA1 Message Date
Max Brunsfeld
f7063ba1d8 Compute closure of item sets under symbol expansion 2013-11-12 18:45:04 -08:00
Max Brunsfeld
11e3980319 Add helper functions for making shared pointers to rules
- start work on item set class
2013-11-10 14:59:40 -08:00