hylolib-1.4.0: Tools for hybrid logics related programs
HyLo.Model.PrettyPrint
toDot :: (Show w, Show n, Show p, Show r, Ord w) => Model w n p r -> StringSource
toDotStr :: Model NomSymbol NomSymbol PropSymbol RelSymbol -> StringSource
toDotFrame :: (Show w, Show n, Show p, Show r, Ord w) => Model w n p r -> StringSource