ReachingDefinitions<'Expr, 'BBL> (B2R2)

ReachingDefinitions<'Expr, 'BBL> Type

Constructor Description

Constructor	Description
`ReachingDefinitions(_cfg)` Full Usage: `ReachingDefinitions(_cfg)` Parameters: _cfg : `DiGraph<'BBL, CFGEdgeKind>` Returns: `ReachingDefinitions<'Expr, 'BBL>`	_cfg : `DiGraph<'BBL, CFGEdgeKind>` Returns: `ReachingDefinitions<'Expr, 'BBL>`


                
                  
                    
                      ReachingDefinitions(_cfg)

Full Usage: ReachingDefinitions(_cfg)

Parameters:

_cfg : DiGraph<'BBL, CFGEdgeKind>

Returns: ReachingDefinitions<'Expr, 'BBL>

Instance member	Description
`this.Gens` Full Usage: `this.Gens` Returns: `Dictionary<VertexID, Set<VarPoint<'Expr>>>`	Returns: `Dictionary<VertexID, Set<VarPoint<'Expr>>>`
`this.Kills` Full Usage: `this.Kills` Returns: `Dictionary<VertexID, Set<VarPoint<'Expr>>>`	Returns: `Dictionary<VertexID, Set<VarPoint<'Expr>>>`