object
benchmark_generators
¶
Generates random data structures for use in benchmarks.
Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
static, context_switching_calls
(no dependencies on other entities)
Public interface¶
random_tree/1
¶
Generates a random tree.
Compilation flags:
static
Template:
random_tree(Tree)
Mode and number of proofs:
random_tree(-tree)
- one
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)