NodeState::getFactsMod Synopsis Declared in <src/midend/programAnalysis/genericDataflow/state/nodeState.h> std::vector<NodeFact*>& getFactsMod(Analysis const* analysis); Created with MrDocs