HyLo.Model.PrettyPrint

Documentation

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

toDotStr :: Model NomSymbol NomSymbol PropSymbol RelSymbol -> String

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