Sha256: e2a7df9b19e0d95e23e888fa6defa4cc13f306e86ddc1e0c22b4e83eaf3f6d02

Contents?: true

Size: 240 Bytes

Versions: 7

Compression:

Stored size: 240 Bytes

Contents

(******************************************************************
 Operation to create a pet

******************************************************************)

macro enter_pet( new_pet ) {

  v_pets := v_pets \union { new_pet };

}



Version data entries

7 entries across 7 versions & 1 rubygems

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