Contents

(*
     Domains in Owner definition

     - name : d_owner_name
     - address   : t_Address

*)



Assume_Owner_Domains ==
                      Assume_CorrectDomain( t_Owner, "name", d_owner_name )
		   /\ Assume_CorrectDomain( t_Owner, "address", t_Address )
		      

Version data entries

7 entries across 7 versions & 1 rubygems

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