57221209d11b05aa0373cc3892d5df89ba96ebf9Christian Maeder{- |

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'ReillyModule : $Header$

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'ReillyCopyright : (c) Klaus L�ttich, Uni Bremen 2005

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'ReillyLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuMaintainer : luecke@informatik.uni-bremen.de

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'ReillyStability : provisional

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'ReillyPortability : portable

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillypretty print AS of CASL_DL

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly-}

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillymodule CASL_DL.Print_AS where

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyimport Common.Doc

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyimport Common.DocUtils

57221209d11b05aa0373cc3892d5df89ba96ebf9Christian Maeder

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyimport CASL.ToDoc ()

56899f6457976a2ee20f6a23f088cb5655b15715Liam O'Reillyimport CASL_DL.AS_CASL_DL

7d41a06add784ca68e6507ce832e621a1d2abf49Christian Maeder

43e4005c54870e481df3a9be0f041caefe0c6eb5Christian Maederinstance Pretty DL_FORMULA where

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly pretty (Cardinality ct pn varTerm natTerm qualTerm _) =

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly text (show ct)

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly <> brackets (pretty pn)

ace03c3051e5c5144e43ae78cae73f6a29dde6d5Christian Maeder <> parens (pretty varTerm <> comma <+> pretty natTerm

c0833539c8cf577dd3f2497792fbdd818442744cChristian Maeder <> (case qualTerm of

036ecbd8f721096321f47cf6a354a9d1bf3d032fChristian Maeder Nothing -> text ""

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly Just x -> comma <+> pretty x))

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly