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