alchemist/it.unibo.alchemist.model/Context/getWider

getWider

open fun getWider(c1: Context, c2: Context): Context

Return

the wider (more general) between the two: if either one is GLOBAL, then GLOBAL is returned. Otherwise, if either one is NEIGHBORHOOD, NEIGHBORHOOD is returned. Otherwise, LOCAL is returned.

Parameters

c1

context to compare

c2

other context to compare