org.combinators.cls.inhabitation
Enumeration of all combinatory expressions derivable from a TreeGrammar. Use TreeGrammarEnumeration.apply to obtain an enumeration for any given TreeGrammar.
TreeGrammar
The tree grammar to derive expressions from.
Enumerates all expressions for a type acting as the start symbol.
Enumeration of all combinatory expressions derivable from a TreeGrammar. Use TreeGrammarEnumeration.apply to obtain an enumeration for any given
TreeGrammar
.