Documentation

disjoinQuotes :: Int -> Square -> Square Source #

getDisjoinSquare2 :: Square -> Square Source #

getDisjoinSquare :: Square -> Square Source #

disjoinIfTerminal :: Symbol -> Square Source #

mapValue :: [String] -> [Square] Source #

printSmb :: Map A String -> SmbR -> String Source #

revertSmb :: SmbR -> SmbR Source #

revertRel :: GrRelation -> [SmbR] Source #

genNextStateList :: [State] -> State Source #

genNextState :: Set State -> State Source #

mapTuple :: (a -> b) -> (a, a) -> (b, b) Source #

defValue :: String -> Square Source #