hylolib-1.5.4: Tools for hybrid logics related programs

Safe HaskellNone
LanguageHaskell2010

HyLo.Model.PrettyPrint

Documentation

toDot :: (Show w, Show n, Show p, Show r, Ord w) => Model w n p r -> String Source #

toDotStr :: Model NomSymbol NomSymbol PropSymbol RelSymbol -> String Source #

toDotFrame :: (Show w, Show n, Show p, Show r, Ord w) => Model w n p r -> String Source #