|Did you know ...||Search Documentation:|
|nb_rbtrees.pl -- Non-backtrackable operations on red black trees|
This library is an extension to rbtrees.pl, implementing Red-black trees. This library adds non-backtrackable destructive update to RB trees which allows us to fill RB trees in a failure driven loop.
This module builds on top of the rbtrees.pl and used code copied from library written by Vitor Santos Costa.