Algorithms.BF.BooleanFormula

Classical data structures

Oracle description

data BooleanFormulaOracle

data HexCircuit

createOracle

update_hex

update_start_board

full_oracle

test_oracle

Hex boards

type HexBoard

moves_made

empty_spaces

Quantum data structures

type PhaseEstimationRegister

type GenericDirectionRegister a

type DirectionRegister

data GenericBooleanFormulaRegister a

type BooleanFormulaRegister

labelBFR

type BoolRegister

toTuple

fromTuple

createRegister

registerShape

initializeRegister

Oracle implementation

qw_bf

subroutine_inverse_qft

map_exp_u

exp_u

u

subroutine_u

oracle

subroutine_oracle

controls

diffuse

subroutine_diffuse

data Where

walk

subroutine_walk

undo_oracle

subroutine_undo_oracle

toParent

copy_from_to

toChild

shift_left

shift_right

Possible main functions

main_circuit

main_u

main_walk

main_diffuse

main_oracle

main_undo_oracle

main_hex

main_checkwin_red

Running the Boolean Formula Algorithm

main_bf

whoWins

main_whoWins