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_callsUses:
Remarks:
(none)
Public predicates¶
random_tree/1¶
Generates a random tree.
Compilation flags:
staticTemplate:
random_tree(Tree)Mode and number of proofs:
random_tree(-tree) - oneProtected predicates¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)