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

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 #