Contents

(*
     Domains in Pet definition

     - id    : d_id
     - name  : d_pet_name
     - tag   : d_id

*)



\* Verify that domain of named field is correct
Assume_Pet_Domains == Assume_CorrectDomain( t_Pet, "id", d_id )
                   /\ Assume_CorrectDomain( t_Pet, "name", d_pet_name )
                   /\ Assume_CorrectDomain( t_Pet, "tag", d_id )

Version data entries

7 entries across 7 versions & 1 rubygems

Version	Path
tla-sbuilder-0.3.9	src/pet/assumption_pet_domains.tla
tla-sbuilder-0.3.8	src/pet/assumption_pet_domains.tla
tla-sbuilder-0.3.7	src/pet/assumption_pet_domains.tla
tla-sbuilder-0.3.4	src/pet/assumption_pet_domains.tla
tla-sbuilder-0.2.2	src/pet/assumption_pet_domains.tla
tla-sbuilder-0.2.1	src/pet/assumption_pet_domains.tla
tla-sbuilder-0.1.0	src/pet/assumption_pet_domains.tla