| Safe Haskell | None |
|---|
Quipper.Algorithms.BF.HexBoard
Description
This module provides the code for drawing Hex boards in graphical format. See Quipper.Algorithms.BF.Main for an overview of the boolean formula algorithm.
Synopsis
- output_start_board :: Format -> BooleanFormulaOracle -> IO ()
- output_HexBoards :: Format -> BooleanFormulaOracle -> [HexBoard] -> IO ()
Documentation
output_start_board :: Format -> BooleanFormulaOracle -> IO () Source #
Output the starting HexBoard in the given format, for the given oracle.
output_HexBoards :: Format -> BooleanFormulaOracle -> [HexBoard] -> IO () Source #
Output multiple HexBoards in the given format, for the given oracle.