Documentation

smb2As :: Smb -> SmbR Source #

transitionRelations :: [SRule] -> [[State]] -> [GrRelation] Source #

nk :: Int Source #

k :: [A] Source #

hubRelation :: Word -> [SmbR] Source #

easyHubRelation :: Word -> [SmbR] Source #

auxiliaryRelations :: [A] -> [A] -> [A] -> [GrRelation] Source #

sm2grInternal :: (SM, Word) -> [A] -> GR Source #

sm2gr :: (SM, Word) -> GR Source #

sm2grEmpty :: (SM, Word) -> GR Source #