{- |
Module      :  ./ExtModal/Keywords.hs
Description :  Keywords for extended modal logic
Copyright   :  DFKI GmbH 2009
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  codruta.liliana@gmail.com
Stability   :  experimental
Portability :  portable

-}

module ExtModal.Keywords where

untilS :: String
untilS :: String
untilS = "U"

sinceS :: String
sinceS :: String
sinceS = "S"

allPathsS :: String
allPathsS :: String
allPathsS = "A"

somePathsS :: String
somePathsS :: String
somePathsS = "E"

nextS :: String
nextS :: String
nextS = "X"

yesterdayS :: String
yesterdayS :: String
yesterdayS = "Y"

generallyS :: String
generallyS :: String
generallyS = "G"

eventuallyS :: String
eventuallyS :: String
eventuallyS = "F"

hithertoS :: String
hithertoS :: String
hithertoS = "H"

previouslyS :: String
previouslyS :: String
previouslyS = "P"

muS :: String
muS :: String
muS = "mu"

nuS :: String
nuS :: String
nuS = "nu"

atS :: String
atS :: String
atS = "@"

hereS :: String
hereS :: String
hereS = "Here"

nominalS :: String
nominalS :: String
nominalS = "nominal"

timeS :: String
timeS :: String
timeS = "time"

tmTransClosS :: String
tmTransClosS :: String
tmTransClosS = "*"

oB :: String
oB :: String
oB = "<["

cB :: String
cB :: String
cB = "]>"

orElseS :: String
orElseS :: String
orElseS = "orElse"