Faculty of Engineering and Mathematical Sciences 
Not logged in (login)


This forum is provided to promote discussion amongst students enrolled in CITS5501 Software Testing and Quality Assurance.

Before posting a question here, you might like to (1) search the forum for previous posts asking the same question, and (2) read the article How To Ask Questions The Smart Way .
And please keep the discussion civil (as required by UWA's Computer Use Policy, #9).

RSS cloud
Jump to:

Workshop question - Omnivore

1 of 124 articles shown, currently no other people reading this forum.
Date: Wed 20th May 2020, 4:57pm


i think this works as alloy code for omnivore btw for anyone in the workshop wondering

Can anyone else confirm?

sig animal {}

sig herbivore in animal {}
sig carnivore in animal {}

sig omnivore in animal {}

fact omni {
omnivore in herbivore and omnivore in carnivore

fact {

	herbivore & carnivore = omnivore


Related articles

Workshop question - Omnivore (all 5) RSS
├─ THIS   Wed 20th May 2020, 4:57pm, ANONYMOUS
├─ reply 1   Wed 20th May 2020, 4:59pm, ANONYMOUS  O.P.
├─ reply 2   Wed 20th May 2020, 5:13pm, Arran S.
├─ reply 3   Thu 4th Jun 2020, 4:12pm, ANONYMOUS
└─ reply 4   Fri 5th Jun 2020, 3:30pm, Arran S.
This Page

Program written by: [email protected]
Feedback welcome
Last modified: 11:27am Sep 21 2020