Algorithms.BWT.Template

Circuit building functions

General operations on booleans

boollist_xor

bit_adder

Encoding the BWT oracle on booleans and lists of booleans

parent

childintree

doweld1

doweld0

weld

child

level_parity

is_zero

is_root

v_function

Wrapping it into the Oracle data type

Colors

type Color

colorToBoolParam

Functions for using the generated oracle

classical_BWT_oracle

reversible_BWT_oracle

reversible_BWT_oracle_optim

oracle_template

oracle_template_optim