NodeState::getFacts

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/state/nodeState.h>

std::vector<NodeFact*> const&
getFacts(Analysis const* analysis) const;

Created with MrDocs