maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[[maude-help] ] Working with grids in maude

From: Raghu Ranganathan <rraghu.11502 AT gmail.com>
To: maude-help AT lists.cs.illinois.edu
Subject: [[maude-help] ] Working with grids in maude
Date: Fri, 8 Dec 2023 06:35:38 +0800

I would like to know if there is a canonical way to work with 2d arrays in maude. The closest thing I found is LIST* which allows arbitrary nesting, but it doesn't seem to have a straightforward cons or indexing operation. I want to know if there is a grid structure that

a) allows pattern matching

b) allows 2D indexing

My use case is for finding the neighbours of a cell inside a grid.

[[maude-help] ] Working with grids in maude, Raghu Ranganathan, 12/07/2023
- Re: [[maude-help] ] Working with grids in maude, Steven Eker, 12/07/2023