Contents

\* Choose any id from from the unused ids in 'v_pet_ids'
\* Next_pet_id == CHOOSE id \in v_pet_ids: TRUE
Next_id( type ) == CHOOSE id \in v_ids[type]: TRUE

Version data entries

7 entries across 7 versions & 1 rubygems

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