SSTG-0.1.0.5: STG Symbolic Execution
SSTG.Core.Execution.Naming
Description
Naming Module
Synopsis
allNames :: State -> [Name] Source #
All Names in State
freshString :: Int -> String -> Set String -> String Source #
Fresh String from Int Rand Seed
freshName :: NameSpace -> [Name] -> Name Source #
Fresh Name from Conflict List
freshSeededName :: Name -> [Name] -> Name Source #
Seeded Fresh Name from Conflict List
freshNameList :: [NameSpace] -> [Name] -> [Name] Source #
List of Fresh Names
freshSeededNameList :: [Name] -> [Name] -> [Name] Source #
List of Seeded Fresh Names