Algorithms.BF.BooleanFormula
data BooleanFormulaOracle
data HexCircuit
createOracle
update_hex
update_start_board
full_oracle
test_oracle
type HexBoard
moves_made
empty_spaces
type PhaseEstimationRegister
type GenericDirectionRegister a
type DirectionRegister
data GenericBooleanFormulaRegister a
type BooleanFormulaRegister
labelBFR
type BoolRegister
toTuple
fromTuple
createRegister
registerShape
initializeRegister
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
main_circuit
main_u
main_walk
main_diffuse
main_oracle
main_undo_oracle
main_hex
main_checkwin_red
main_bf
whoWins
main_whoWins