Language.SMV.Substitution
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 #