object
benchmark_generators¶
Generates random data structures for use in benchmarks.
Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
static, context_switching_callsUses:
Remarks:
(none)
Inherited public predicates:
(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¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)