type FLOW: FlowSet

nitc :: StaticAnalysis :: FLOW

Type of FlowSet representation used by the StaticAnalysis.

Property definitions

nitc $ StaticAnalysis :: FLOW 
	# Type of FlowSet representation used by the StaticAnalysis.
	type FLOW: FlowSet
src/saf/saf_base.nit:29,2--30,19

nitc $ ReachingDefsAnalysis :: FLOW 
	redef type FLOW: FlowHashSet[VarDef]
src/saf/reaching_defs.nit:24,2--37
Nit tools. Version .