Maude-help mailing list

[Marc Boyer <Marc.Boyer AT onera.fr>]

Dear maude users,

I have a term which is a member of two subsorts. But I can not manage to 
tell Maude to see both membership without declaring a new subsort.

Here is a minimal example:

fmod TEST-MB2 is
  sorts A B C  .
  subsorts B < A .
  subsorts C < A .

  op bc : -> A .
  mb bc : B .
  mb bc : C .
endfm

red bc :: B .
red bc :: C .

Of course, I could declare a new sort BC, subsort of B and C, but in
my real problem, it does not match any "real" sort, and I would like to
avoid it.

Regards,
   Marc Boyer
--
Marc Boyer, Ingenieur de recherche                              ONERA
Tel: (33)  5.62.25.26.36                                         DTIM
Fax: (33)  5.62.25.26.52                          2, av Edouard Belin
http://www.onera.fr/staff/marc-boyer/          31055 TOULOUSE Cedex 4