protected BackwardDataFlowAnalysis(AbstractAnalysisDomain <TAnalysisData> analysisDomain, DataFlowOperationVisitor <TAnalysisData, TAbstractAnalysisValue> operationVisitor) : base(analysisDomain, operationVisitor) { }
protected DataFlowAnalysis(AbstractAnalysisDomain <TAnalysisData> analysisDomain, DataFlowOperationVisitor <TAnalysisData, TAbstractAnalysisValue> operationVisitor) { AnalysisDomain = analysisDomain; OperationVisitor = operationVisitor; }