File "adapt"

This file provides binary diagrams that can be accessed and modified via binary paths. The predicates to access and modify binary diagams are tree_current/4 and tree_set/5. The values can be any term not using the form (_->_;_). The modification operation will automatically insert and remove nodes, an adhere to the tree_make/4 reduction.

The following adapt predicates are provided:

tree_current(P, K, T, V):
The predicate succceeds in V with the value at path P starting from the level K in the adaptive tree T.
tree_set(P, K, T, V, S):
The predicate succeeds in S with the adaptive tree derived from the adaptive tree T that has the value at path P starting from the level K changed to the value V.
tree_make(X, A, B, R):
The predicate succeeds in R with an adaptive tree that has variable X and cofactors A and B, possibly reducing it.

Kommentare