Go to: SmartForest Home Printer-friendly: sf-impl.pdf

Files

The source files that compose the executable are described here. The files are presented in alphabetic order and not in ``program-logic'' order since it's easier for the reader to find specific files when they are in alphabetic order. Another reason for this order is that the ``program-logic'' of the executable is examined in another section. See Section 4.2.