set-cover-0.0.4: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube

Safe HaskellSafe-Inferred

Math.SetCover.Exact

Documentation

class Set set whereSource

Methods

null :: set -> BoolSource

disjoint :: set -> set -> BoolSource

unions :: [set] -> setSource

difference :: set -> set -> setSource

minimize :: set -> [Assign label set] -> [Assign label set]Source

Instances

Ord a => Set (Set a) 
C a => Set (Set a) 

data Assign label set Source

Constructors

Assign 

Fields

label :: label
 
labeledSet :: set
 

Instances

Functor (Assign label) 

assign :: label -> set -> Assign label setSource

data State label set Source

Constructors

State 

Fields

availableSubsets :: [Assign label set]
 
freeElements :: set
 
usedSubsets :: [Assign label set]
 

Instances

Functor (State label) 

initState :: Set set => [Assign label set] -> State label setSource

updateState :: Set set => Assign label set -> State label set -> State label setSource

step :: Set set => State label set -> [State label set]Source

search :: Set set => State label set -> [[label]]Source

partitions :: Set set => [Assign label set] -> [[label]]Source