| Copyright | (c) Levent Erkok |
|---|---|
| License | BSD3 |
| Maintainer | erkokl@gmail.com |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Documentation.SBV.Examples.Puzzles.Orangutans
Description
Synopsis
- data Orangutan
- data Handler
- data Location
- cv2Orangutan :: String -> [CV] -> Orangutan
- _undefiner_Orangutan :: a
- type SOrangutan = SBV Orangutan
- sMerah :: SBV Orangutan
- sOfallo :: SBV Orangutan
- sQuirrel :: SBV Orangutan
- sShamir :: SBV Orangutan
- isMerah :: SBV Orangutan -> SBool
- isOfallo :: SBV Orangutan -> SBool
- isQuirrel :: SBV Orangutan -> SBool
- isShamir :: SBV Orangutan -> SBool
- sCaseOrangutan :: Mergeable result => SBV Orangutan -> result -> result -> result -> result -> result
- cv2Handler :: String -> [CV] -> Handler
- _undefiner_Handler :: a
- type SHandler = SBV Handler
- sDolly :: SBV Handler
- sEva :: SBV Handler
- sFrancine :: SBV Handler
- sGracie :: SBV Handler
- isDolly :: SBV Handler -> SBool
- isEva :: SBV Handler -> SBool
- isFrancine :: SBV Handler -> SBool
- isGracie :: SBV Handler -> SBool
- sCaseHandler :: Mergeable result => SBV Handler -> result -> result -> result -> result -> result
- cv2Location :: String -> [CV] -> Location
- _undefiner_Location :: a
- type SLocation = SBV Location
- sAmbalat :: SBV Location
- sBasahan :: SBV Location
- sKendisi :: SBV Location
- sTarakan :: SBV Location
- isAmbalat :: SBV Location -> SBool
- isBasahan :: SBV Location -> SBool
- isKendisi :: SBV Location -> SBool
- isTarakan :: SBV Location -> SBool
- sCaseLocation :: Mergeable result => SBV Location -> result -> result -> result -> result -> result
- data Assignment = MkAssignment {}
- mkSym :: Orangutan -> Symbolic Assignment
- puzzle :: ConstraintSet
Documentation
Orangutans in the puzzle.
Instances
Handlers for each orangutan.
Instances
Location for each orangutan.
Instances
_undefiner_Orangutan :: a Source #
Autogenerated definition to avoid unused-variable warnings from GHC.
sCaseOrangutan :: Mergeable result => SBV Orangutan -> result -> result -> result -> result -> result Source #
Case analyzer for the type Orangutan.
_undefiner_Handler :: a Source #
Autogenerated definition to avoid unused-variable warnings from GHC.
sCaseHandler :: Mergeable result => SBV Handler -> result -> result -> result -> result -> result Source #
Case analyzer for the type Handler.
_undefiner_Location :: a Source #
Autogenerated definition to avoid unused-variable warnings from GHC.
sCaseLocation :: Mergeable result => SBV Location -> result -> result -> result -> result -> result Source #
Case analyzer for the type Location.
data Assignment Source #
An assignment is solution to the puzzle
Constructors
| MkAssignment | |
Instances
mkSym :: Orangutan -> Symbolic Assignment Source #
Create a symbolic assignment, using symbolic fields.
puzzle :: ConstraintSet Source #
We get:
>>>allSat puzzleSolution #1: Merah.handler = Gracie :: Handler Merah.location = Tarakan :: Location Merah.age = 10 :: Integer Ofallo.handler = Eva :: Handler Ofallo.location = Kendisi :: Location Ofallo.age = 13 :: Integer Quirrel.handler = Dolly :: Handler Quirrel.location = Basahan :: Location Quirrel.age = 4 :: Integer Shamir.handler = Francine :: Handler Shamir.location = Ambalat :: Location Shamir.age = 7 :: Integer This is the only solution.