Exemple #1
0
 protected override FlightEnabledAnalysisData MergeAnalysisData(FlightEnabledAnalysisData value1, FlightEnabledAnalysisData value2, BasicBlock forBlock)
 => forBlock.DominatesPredecessors() ?
 FlightEnabledAnalysisDomain.Intersect(value1, value2, FlightEnabledAbstractValueDomain.Intersect) :
 FlightEnabledAnalysisDomainInstance.Merge(value1, value2);
Exemple #2
0
 protected override bool Equals(FlightEnabledAnalysisData value1, FlightEnabledAnalysisData value2)
 => FlightEnabledAnalysisDomainInstance.Equals(value1, value2);
Exemple #3
0
 protected override FlightEnabledAnalysisData MergeAnalysisData(FlightEnabledAnalysisData value1, FlightEnabledAnalysisData value2)
 => FlightEnabledAnalysisDomainInstance.Merge(value1, value2);