maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Manel Ben <isold AT live.fr>
- To: <maude-help AT cs.uiuc.edu>
- Subject: [Maude-help] (no subject)
- Date: Thu, 9 Jun 2011 18:15:25 +0100
- Importance: Normal
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
hi, could u guide me how to delete node or egde from graph as this equation:
eq addN(| Ns , Es | , niln) = | Ns , Es | ./ where | Ns , Es | is a graph and nils is node
eq addN(| Ns , Es | , n1 Ns’ ) = if not ( n1 in Ns ) then addN(| n1 Ns , Es | , Ns’ ) else addN(| Ns , Es | , Ns’ ) fi .
eq addE(| Ns , Es | , nile ) = | Ns , Es | .
eq addE(| Ns , Es | , e1 Es’ ) = if not (e1 in Es) then addE( addN(| Ns , e1 Es | , source(e1) target(e1)), Es’) else addE(| Ns , Es | , Es’ ) fi .
- [Maude-help] (no subject), Manel Ben, 06/09/2011
- <Possible follow-up(s)>
- [Maude-help] (no subject), Manel Ben, 06/09/2011
Archive powered by MHonArc 2.6.16.