summaryrefslogtreecommitdiffstats
path: root/src/generator.hpp
AgeCommit message (Expand)Author
2015-03-31generator: generate transitionsMatthias Schiffer
2015-03-31generator: generate item sets recursivelyMatthias Schiffer
2015-03-31generator: add methods to generate closed item setsMatthias Schiffer
2015-03-31Add generator_tMatthias Schiffer