Sets at the exit of each node.

Each node is associated with the current_outset it got.

Property definitions

nitc $ StaticAnalysis :: _outsets
	# Sets at the exit of each node.
	#
	# Each node is associated with the `current_outset` it got.
	var outsets = new HashMap[ANode, FLOW]
src/saf/saf_base.nit:43,2--46,39