Contents Index

BasicTypes

data Agents pvar actvar lan ctag

Constructors Empty Pvariable pvar Action actvar Choice (Agents pvar actvar lan ctag) (Agents pvar actvar lan ctag) Parcomp [Agents pvar actvar lan ctag] Seqcomp (Agents pvar actvar lan ctag) (Agents pvar actvar lan ctag) Omega (Agents pvar actvar lan ctag) Coercion lan ctag Spec lan lan ctag Assertion lan [ctag] Instances (Show actvar, Show ctag, Show lan, Show pvar, ??? actvar ctag lan pvar) => Show (Agents pvar actvar lan ctag) (Eq actvar, Eq ctag, Eq lan, Eq pvar, ??? actvar ctag lan pvar) => Eq (Agents pvar actvar lan ctag)

data LTLformula props

Constructors Prop props Until (LTLformula props) (LTLformula props) Next (LTLformula props) Not (LTLformula props) Or (LTLformula props) (LTLformula props) And (LTLformula props) (LTLformula props) Implies (LTLformula props) (LTLformula props) Equivalent (LTLformula props) (LTLformula props) Eventually (LTLformula props) Always (LTLformula props) Instances (Show props, ??? props) => Show (LTLformula props) (Eq props, ??? props) => Eq (LTLformula props)

data Pagent

Constructors Pempty Pchoice Pagent Pagent Pseqcomp Pagent Pagent Pparcomp Pagent Pagent Pomega Pagent Ppvar String Paction String Pspec Pltl Pltl String Pcoercion Pltl String Passertion Pltl Ctaglist Instances Show Pagent

type Ctaglist = [String]

data Pltl

Constructors Pprop String Palways Pltl Peventually Pltl Puntil Pltl Pltl Pnext Pltl Pnot Pltl Por Pltl Pltl Pand Pltl Pltl Pimplies Pltl Pltl Pequivalent Pltl Pltl Instances Show Pltl

data Token

Constructors Taction String Textalphanum String Tempty Tomega Tchoice Tseqcomp Tparcomp Tcomma Tsuperscript Tunderscore Tlparen Trparen Tlbracket Trbracket Tlbrace Trbrace Tuntil Tnext Tnot Tor Tand Timplies Tequivalent Teventually Talways Instances Show Token

Produced by Haddock version 0.5