Algorithms.BWT.Template

Circuit building functions

General operations on booleans

boollist_xor

template_boollist_xor

bit_adder

template_bit_adder

Encoding the BWT oracle on booleans and lists of booleans

parent

template_parent

childintree

template_childintree

doweld1

template_doweld1

doweld0

template_doweld0

weld

template_weld

child

template_child

level_parity

template_level_parity

is_zero

template_is_zero

is_root

template_is_root

v_function

template_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