Skip to main content navigation
parent site logoSite logo

Projects archive / Jugs

Code:jugsBeynon1988
Title:Jugs
Authors:Meurig Beynon, Simon Yung
Date:1988
Type:model
Funding:acad -
Short description:Achieve target of water in 2 jugs through filling
EM Technologies:tkeden, %eden, %scout, %donald
Keywords:game, education
empublic references:
EMpress references:RR147, paper08
Web site references:
Previous locations:~wmb/public/projects/games/jugs
Tour:Docs/sy/sy.html

The jugs model is one of the first models to be built using the three notations in tkeden (eden, donald and scout). Users are presented with two jugs of known quantity and have to use a combination of filling, pouring and emptying to achieve a specified target capacity (the difficult bit is that there are no identifying marks on the side of the jugs!).
This is one of the models that has the highest percentage of definitions and is hence an implementation that is in close harmony with EM principles. [Chris R]

jugsBeynon1988 is available locally within DCS at /dcs/emp/empublic/projects/jugsBeynon1988
Download jugsBeynon1988.tar.gz
Uncompressed, jugsBeynon1988 is 49.8 Kbytes (in 17 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
README.xml 1179 09:59 AM Feb 03 2008 01:19 PM Jul 27 2017
README.xml~ 1127 03:03 PM Apr 20 2002 01:19 PM Jul 27 2017
Run.e 64 01:02 AM Jun 29 2001 01:19 PM Jul 27 2017
jugs.button.e 487 06:30 PM Mar 28 2000 01:19 PM Jul 27 2017
jugs.disp.d 1310 02:46 PM Dec 12 1994 01:19 PM Jul 27 2017
jugs.disp.e 2170 08:39 PM Apr 15 2002 01:19 PM Jul 27 2017
jugs.e 2260 08:39 PM Apr 15 2002 01:19 PM Jul 27 2017
jugs.s 3195 12:36 PM Jul 05 1996 01:19 PM Jul 27 2017
waterline.d 50 01:06 AM Jun 29 2001 01:19 PM Jul 27 2017
Docs/ 4096 07:17 PM Aug 02 2001 01:19 PM Jul 27 2017

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.