add support for min and max to Alloy generator #79

Closed
mantkiew opened this Issue Nov 20, 2015 · 0 comments

Projects

None yet

1 participant

@mantkiew
Member

The module util/integer contains min and max functions:

/** given a set of integers, return the largest element */
fun max [es: set Int]: lone Int { es - es.^prev }

/** given a set of integers, return the smallest element */
fun min [es: set Int]: lone Int { es - es.^next }
@mantkiew mantkiew self-assigned this Nov 20, 2015
@mantkiew mantkiew added this to the 0.4.3 milestone Nov 20, 2015
@mantkiew mantkiew closed this Dec 2, 2015
@mantkiew mantkiew referenced this issue Dec 11, 2015
Merged

Release 0.4.3 #81

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment