The merge operation on sets for confluence.

Depends on the analysis performed.

Property definitions

	# The merge operation on sets for confluence.
	#
	# Depends on the analysis performed.
	fun merge(s1, s2: FLOW): FLOW is abstract

src/saf/saf_base.nit:66,2--69,42

	# Perform set union (used for **some path** analysis).
	redef fun merge(s1, s2) do return s1.flow_union(s2)

src/saf/reaching_defs.nit:42,2--43,52