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

help5501

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).
 

Options:
RSS cloud
Jump to:

Workshop question - Omnivore

1 of 124 articles shown, currently no other people reading this forum.
photo
From: ANONYMOUS
Date: Wed 20th May 2020, 4:57pm
Actions: 
        Login-to-reply

 

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