----------------------------------------------------------------------------
-- |
-- Module      :  CSPM.LTS.Utils
-- Copyright   :  (c) Fontaine 2011
-- License     :  BSD3
-- 
-- Maintainer  :  Fontaine@cs.uni-duesseldorf.de
-- Stability   :  experimental
-- Portability :  GHC-only
--
-- Compute the labled transition system of a process.
----------------------------------------------------------------------------
module CSPM.LTS.Utils
where

import CSPM.LTS.LTS

import qualified Data.Map as Map
import Data.Maybe