[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: fl <freder...@xxxxxxxxxxx>*Date*: Sat, 16 Nov 2013 10:28:21 -0800 (PST)*References*: <3adc407b-aaa9-4598-88ee-b8d375244c09@googlegroups.com> <b1939589-3397-4870-bd90-565519c1976a@googlegroups.com>

Once you've created one model with assignments to all constants, it's

easy to create other models by cloning that model.

Except if your specification is evolving.

If you have so many constants that entering values for them is a problem,

you can writeCONSTANT AllConstants

Constant1 == AllConstants[1]

...

Constant42 == AllConstants[42]You can then assign AllConstants the value

<<ModelValue1, ... , ModelValue42>>

and in the Model Values section of the Advanced Options page add the set

{ModelValue1, ... , ModelValue42}

of model values. If your spec has so many constant parameters, it

might be made easier to understand by grouping those parameters in

some way.

Thank you for the workaround, I'll try it.

FL

**References**:**Most often constants are model values***From:*fl

**Re: Most often constants are model values***From:*Leslie Lamport

- Prev by Date:
**Re: Most often constants are model values** - Next by Date:
**hyperbook release** - Previous by thread:
**Re: Most often constants are model values** - Next by thread:
**teaching TLA** - Index(es):