TLX.Emitter.Atoms (TLX v0.5.2)

Collects all atom literal values used in a spec's variables, transitions, and branches. These need to be declared as TLA+ model value constants.

Summary

collect(module)

Returns a sorted list of atom names used as values in the spec.

Returns a sorted list of atom names used as values in the spec.

Excludes true, false, nil, and atoms that are already declared as constants (those are model parameters, not model values).