On This Page
package lilis
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library to Interpret Lindenmayer Systems.
L-system representation
A L-system is described by a name, an axiom and a bunch of rules. Each symbols can have some arithmetic expressions as arguments.
A L-system rule. A rule is composed of a left-hand side with a single symbol, potentially some variables and a right-hand side which is a list of symbols where arithmetic expressions can contains those variables. The right hand side can be composed of non-string tokens.
type 'a lsystem = {name : string;axiom : (string * string Calc.t list) list;rules : (string * string Calc.t list) rule list;post_rules : 'a rule list;
}A complete L-system. 'a is the output type of the L-system. For example, we can have a set of rules that will transform tokens to graphical orders.
Functorized Engine
module SymbEnv : sig ... endThe symbolic environment is the dictionary to compress and decompress streams.
module type S = sig ... endA stream-like data structure should be lazy and support O(1) concatenation.
On This Page