From 2dc33943ba40f53c0e5d4effbcdbff539157b1bb Mon Sep 17 00:00:00 2001 From: seni Date: Fri, 2 Sep 2011 11:54:14 -0400 Subject: [PATCH] removed comment --- src/Copilot/Library/RegExp.hs | 33 --------------------------------- 1 file changed, 33 deletions(-) diff --git a/src/Copilot/Library/RegExp.hs b/src/Copilot/Library/RegExp.hs index 4868106..dbc9bad 100644 --- a/src/Copilot/Library/RegExp.hs +++ b/src/Copilot/Library/RegExp.hs @@ -382,39 +382,6 @@ regexp2CopilotNFAB rexp propositions reset = in outStream - -- let symbols = getSymbols rexp - - -- preceding' numSym = case preceding rexp numSym of - -- [] -> [] -- start state - -- other -> [ streams !! i - -- | i <- map ( fromJust . symbolNum ) other ] - - -- lookup' a l = case lookup a l of - -- Nothing -> error $ "boolean stream " - -- ++ a - -- ++ " is not defined" - -- Just s -> s - - -- matchesInput numSym = case symbol numSym of - -- Any -> C.true - -- Sym t -> lookup' ( getName t ) propositions - - -- transitions numSym ps = matchesInput numSym - -- C.&& ( foldl ( C.|| ) C.false ps ) - - -- stream numSym = let ps = preceding' numSym - -- init = null ps - -- in [ init ] C.++ - -- ( C.mux reset - -- ( C.constant init ) - -- ( transitions numSym ps ) ) - - -- streams = map stream symbols - - -- outStream = foldl ( C.|| ) C.false streams - - -- in outStream - copilotRegexpB :: SourceName -> [ ( StreamName, C.Stream Bool ) ] -> C.Stream Bool -> C.Stream Bool