Searched defs:BinaryOperatorData (Results 1 – 1 of 1) sorted by relevance
98 struct BinaryOperatorData { struct in __anon98cbdff20111::IdempotentOperationChecker99 BinaryOperatorData() : assumption(Possible), analysisContext(0) {} in BinaryOperatorData() argument101 Assumption assumption;102 AnalysisContext *analysisContext;103 ExplodedNodeSet explodedNodes; // Set of ExplodedNodes that refer to a