Tjo,
Har en frga angende axioms och signaturer p metoder.
Axiomen har jag plockat frn en uppgift och signaturerna har jag skrivit sjlv, det jag behver hjlp med r att verifiera om dom ser rtt ut, om inte annat, hur ska dom se ut?
Axioms:
contains(x, empty) = false
contains(x, insert(x,s)) = true
contains(x, insert(y,s)) = contains(x,s) (antagande x != y)
remove(x, empty) = empty
remove(x, insert(x,s)) = s
remove(x, insert(y,s)) = insert(y, remove(x,s)) (antagande x != y)
insert(x, insert(y,s)) = insert(y, insert(x,s))
Signaturer som jag tror stmmer, anvnder sig av:
Element
Godtycklig typ S
Bool
contains: Element x S -> Bool
remove: Element x S -> S
insert: Element x S -> S
Har jag tnkt rtt p denna frgan?
/Greken
