diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-13 12:32:49 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-13 12:32:49 +0000 |
| commit | cecf94d7294abbb7c74fec6c8cd96abb4916fcb9 (patch) | |
| tree | 6a17a5bc7622b99bcfd8512f1dd142422ee0e377 /src/ui | |
| parent | 63ac5f5db6cba484179cc3a9f8e58133161f640a (diff) | |
the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions