SMCDEL.Examples.GossipKw
n :: Int Source #
gossipInit :: BelScene Source #
willExchangeT :: (Int, Int) -> Int -> Form Source #
inCall :: Int -> Prp Source #
inSecT :: Int -> Prp Source #
call :: (Int, Int) -> [Int] -> Event Source #
callTrf :: Transformer Source #
toBeExchangedT :: BelScene -> (Int, Int) -> [Int] Source #
doCall :: BelScene -> (Int, Int) -> BelScene Source #
doCalls :: BelScene -> [(Int, Int)] -> BelScene Source #
expert :: Int -> Form Source #
allExperts :: Form Source #
whoKnowsWhat :: BelScene -> [(Int, [Int])] Source #
whoKnowsMeta :: BelScene -> [(Int, [(Int, String)])] Source #
after :: [(Int, Int)] -> BelScene Source #
succeeds :: [(Int, Int)] -> Bool Source #
allSequs :: Int -> [[(Int, Int)]] Source #