hylolib-1.3.3: 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