Kripke.hs revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
0a99555401a033704f1f171baab6db11fb5528f2Allan FosterModule : $Header$
0a99555401a033704f1f171baab6db11fb5528f2Allan FosterCopyright : (c) Klaus Hartke, Uni Bremen 2008
0a99555401a033704f1f171baab6db11fb5528f2Allan FosterLicense : GPLv2 or higher, see LICENSE.txt
0a99555401a033704f1f171baab6db11fb5528f2Allan FosterMaintainer : Christian.Maeder@dfki.de
0a99555401a033704f1f171baab6db11fb5528f2Allan FosterStability : experimental
0a99555401a033704f1f171baab6db11fb5528f2Allan FosterPortability : non-portable (MPTC-FD)
0a99555401a033704f1f171baab6db11fb5528f2Allan Fostermodule Kripke where
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster{- ----------------------------------------------------------------------------
0a99555401a033704f1f171baab6db11fb5528f2Allan FosterKripke Structure
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster---------------------------------------------------------------------------- -}
0a99555401a033704f1f171baab6db11fb5528f2Allan Fosterclass Kripke k a s | k -> a s where
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster states :: k -> Set s
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster initial :: k -> Set s
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster next :: k -> s -> Set s
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster labels :: k -> s -> Set a
0a99555401a033704f1f171baab6db11fb5528f2Allan Foster-- ----------------------------------------------------------------------------