Contents

\* Create new owner 'name' having 'address'
New_Owner( name, address ) == [ name |-> name, address |-> address ]

Version data entries

7 entries across 7 versions & 1 rubygems

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