clang  16.0.0git
Classes | Namespaces
Solver.h File Reference
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/Optional.h"
Include dependency graph for Solver.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  clang::dataflow::Solver
 An interface for a SAT solver that can be used by dataflow analyses. More...
struct  clang::dataflow::Solver::Result


 Dataflow Directional Tag Classes.