Documentation

rcPlayers :: [Agent] Source #

rcNumOf :: Agent -> Int Source #

rcCards :: [Int] Source #

rcProps :: [Prp] Source #

hasCard :: Agent -> Int -> Form Source #

hasHand :: Agent -> [Int] -> Form Source #

rcExplain :: Prp -> String Source #

allCardsGiven :: Form Source #

allCardsUnique :: Form Source #

distribute331 :: Form Source #

rusSCN :: KnowScene Source #

rusKNS :: KnowStruct Source #

aAnnounce :: Form Source #

bAnnounce :: Form Source #

aKnowsBs :: Form Source #

bKnowsAs :: Form Source #

cIgnorant :: Form Source #

rcCheck :: Int -> Form Source #

rcAllChecks :: Bool Source #

checkSet :: [[Int]] -> Bool Source #

possibleHands :: [[Int]] Source #

pickHandsNoCrossing :: [[Int]] -> Int -> [[[Int]]] Source #

allHandLists :: [[[Int]]] Source #

safeHandLists :: [[[Int]]] Source #

alicesActions :: [Form] Source #

bobsActions :: [Form] Source #

rcSolutions :: [[Form]] Source #

rcPlan :: OfflinePlan Source #

rcGoal :: Form Source #

rcSolutionsViaPlanning :: [OfflinePlan] Source #

type RusCardProblem = (Int, Int, Int) Source #

distribute :: RusCardProblem -> Form Source #

nCards :: Int -> [Int] Source #

nCardsGiven :: Int -> Form Source #

nCardsUnique :: Int -> Form Source #

rusSCNfor :: RusCardProblem -> KnowScene Source #

possibleHandsN :: Int -> Int -> [[Int]] Source #

allHandListsN :: Int -> Int -> [[[Int]]] Source #

aKnowsBsN :: Int -> Form Source #

bKnowsAsN :: Int -> Form Source #

cIgnorantN :: Int -> Form Source #

checkSetFor :: RusCardProblem -> [[Int]] -> Bool Source #

checkHandsFor :: RusCardProblem -> [([[Int]], Bool)] Source #

allCasesUpTo :: Int -> [RusCardProblem] Source #

dontChange :: [Form] -> RelBDD Source #

noDoubles :: Int -> Form Source #

rusBelScnfor :: RusCardProblem -> BelScene Source #