summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-03-25 11:26:03 +0000
committerbringert <bringert@cs.chalmers.se>2007-03-25 11:26:03 +0000
commit43311670119318d031c660a788716eda9b7bd618 (patch)
tree19c531d504e5ce66302284d0d65c3907e80c7a0b /src
parented1e7f448574662d8b54fe92b3c08ed4942f575d (diff)
Comments only.
Diffstat (limited to 'src')
-rw-r--r--src/GF/Speech/FiniteState.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Speech/FiniteState.hs b/src/GF/Speech/FiniteState.hs
index 7054784c8..69b8de457 100644
--- a/src/GF/Speech/FiniteState.hs
+++ b/src/GF/Speech/FiniteState.hs
@@ -48,6 +48,7 @@ import qualified GF.Visualization.Graphviz as Dot
type State = Int
-- | Type parameters: node id type, state label type, edge label type
+-- Data constructor arguments: nodes and edges, start state, final states
data FA n a b = FA !(Graph n a b) !n ![n]
type NFA a = FA State () (Maybe a)