2155N/A{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}

2155N/A{- |

2155N/AModule : ./Temporal/Kripke.hs

2155N/ACopyright : (c) Klaus Hartke, Uni Bremen 2008

2155N/ALicense : GPLv2 or higher, see LICENSE.txt

2155N/A

2155N/AMaintainer : Christian.Maeder@dfki.de

2155N/AStability : experimental

2155N/APortability : non-portable (MPTC-FD)

2155N/A

2155N/A-}

2155N/A

2155N/Amodule Kripke where

2155N/A

2155N/Aimport Data.Set as Set

2155N/A

2155N/A

2155N/A{- ----------------------------------------------------------------------------

2155N/AKripke Structure

2155N/A---------------------------------------------------------------------------- -}

2155N/A

2155N/Aclass Kripke k a s | k -> a s where

2155N/A states :: k -> Set s

2155N/A initial :: k -> Set s

2155N/A next :: k -> s -> Set s

2155N/A labels :: k -> s -> Set a

2155N/A

2155N/A

2155N/A-- ----------------------------------------------------------------------------

2155N/A