ogma-language-smv-1.12.0: Ogma: Runtime Monitor translator: SMV Language Frontend

Safe Haskell | None
Language | Haskell2010

Language.SMV.Substitution

# Documentation

substituteBoolExpr :: Foldable t => t (String, String) -> BoolSpec -> BoolSpec Source #

subsName :: Eq b => (b, b) -> b -> b Source #

subBS :: (String, String) -> BoolSpec -> BoolSpec Source #

mapBoolSpecIdent :: (String -> String) -> BoolSpec -> BoolSpec Source #

mapNumExprIdent :: (String -> String) -> NumExpr -> NumExpr Source #