Sha256: 3a512d2272fc8017056a133a18ab466282c5409e2dfc9f5d0dd7eb45a1259364
Contents?: true
Size: 302 Bytes
Versions: 7
Compression:
Stored size: 302 Bytes
Contents
(*
* Reference integrity of pet tags
*
* For all pets there exists a unique, valid tag entry.
*)
ValidReferecendTag ==
\A pet \in v_pets: \E tag \in v_tags:
tag.tag = pet.tag
/\ ValidOwner( tag.owner )
/\ \A pet2 \in v_pets: pet2.tag = pet.tag => pet = pet2
Version data entries
7 entries across 7 versions & 1 rubygems