Documentation

pairs :: [(Int, Int)] Source #

xProps :: [Prp] Source #

yProps :: [Prp] Source #

sProps :: [Prp] Source #

pProps :: [Prp] Source #

sapAllProps :: [Prp] Source #

xIs :: Int -> Form Source #

yIs :: Int -> Form Source #

sIs :: Int -> Form Source #

pIs :: Int -> Form Source #

xyAre :: (Int, Int) -> Form Source #

sapKnStruct :: KnowStruct Source #

sapKnows :: Agent -> Form Source #

sapForm1 :: Form Source #

sapForm2 :: Form Source #

sapForm3 :: Form Source #

sapProtocol :: Form Source #

sapSolutions :: [[Prp]] Source #

sapExplainState :: [Prp] -> String Source #

nmbr :: [Prp] -> [Prp] -> Int Source #