Fleet  0.0.9
Inference in the LOT
Enumeration Directory Reference
Directory dependency graph for Enumeration:
src/Grammar/Enumeration

Files

file  BasicEnumeration.h [code]
 
file  EnumerationInference.h [code]
 
file  FullLZEnumeration.h [code]
 Enumerate where we may interpret low numbers as pointers back to COMPLETE subtrees. Note that this enumeration will not be unique since different trees will have multiple derivations.
 
file  PartialLZEnumeration.h [code]
 Same as FullLZEnumeration except that the pointers to previous trees are to partial trees, not full ones.
 
file  SubtreeEnumeration.h [code]
 Enumerate subtrees of a given tree.