ogma-language-smv-1.7.0: Ogma: Runtime Monitor translator: SMV Language Frontend
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.SMV.AbsSMV

Description

The abstract syntax of language SMV.

Documentation

data BoolSpec Source #

data MultOp Source #

Constructors

OpTimes 
OpDiv 

Instances

Instances details
Read MultOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Show MultOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Eq MultOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Ord MultOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Print MultOp Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> MultOp -> Doc Source #

data OpOne Source #

Instances

Instances details
Read OpOne Source # 
Instance details

Defined in Language.SMV.AbsSMV

Show OpOne Source # 
Instance details

Defined in Language.SMV.AbsSMV

Eq OpOne Source # 
Instance details

Defined in Language.SMV.AbsSMV

Methods

(==) :: OpOne -> OpOne -> Bool Source #

(/=) :: OpOne -> OpOne -> Bool Source #

Ord OpOne Source # 
Instance details

Defined in Language.SMV.AbsSMV

Print OpOne Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> OpOne -> Doc Source #

data Number Source #

Constructors

NumberInt Integer 

Instances

Instances details
Read Number Source # 
Instance details

Defined in Language.SMV.AbsSMV

Show Number Source # 
Instance details

Defined in Language.SMV.AbsSMV

Eq Number Source # 
Instance details

Defined in Language.SMV.AbsSMV

Ord Number Source # 
Instance details

Defined in Language.SMV.AbsSMV

Print Number Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Number -> Doc Source #

data OrdOp Source #

Instances

Instances details
Read OrdOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Show OrdOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Eq OrdOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Methods

(==) :: OrdOp -> OrdOp -> Bool Source #

(/=) :: OrdOp -> OrdOp -> Bool Source #

Ord OrdOp Source # 
Instance details

Defined in Language.SMV.AbsSMV

Print OrdOp Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> OrdOp -> Doc Source #

data OpTwo Source #

Constructors

Op2S 
Op2T 
Op2V 
Op2U 

Instances

Instances details
Read OpTwo Source # 
Instance details

Defined in Language.SMV.AbsSMV

Show OpTwo Source # 
Instance details

Defined in Language.SMV.AbsSMV

Eq OpTwo Source # 
Instance details

Defined in Language.SMV.AbsSMV

Methods

(==) :: OpTwo -> OpTwo -> Bool Source #

(/=) :: OpTwo -> OpTwo -> Bool Source #

Ord OpTwo Source # 
Instance details

Defined in Language.SMV.AbsSMV

Print OpTwo Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> OpTwo -> Doc Source #

newtype Ident Source #

Constructors

Ident String 

Instances

Instances details
IsString Ident Source # 
Instance details

Defined in Language.SMV.AbsSMV

Read Ident Source # 
Instance details

Defined in Language.SMV.AbsSMV

Show Ident Source # 
Instance details

Defined in Language.SMV.AbsSMV

Eq Ident Source # 
Instance details

Defined in Language.SMV.AbsSMV

Methods

(==) :: Ident -> Ident -> Bool Source #

(/=) :: Ident -> Ident -> Bool Source #

Ord Ident Source # 
Instance details

Defined in Language.SMV.AbsSMV

Print Ident Source # 
Instance details

Defined in Language.SMV.PrintSMV

Methods

prt :: Int -> Ident -> Doc Source #