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
Uses:
Remarks:
(none)

Public predicates

random_tree/1

Generates a random tree.

Compilation flags:
static
Template:
random_tree(Tree)
Mode and number of proofs:
random_tree(-tree) - one

Protected predicates

(see entity ancestors)

Private predicates

(see entity ancestors)

Operators

(none)