clang 20.0.0git
Classes | Namespaces | Functions
Solver.h File Reference
#include "clang/Analysis/FlowSensitive/Formula.h"
#include "clang/Basic/LLVM.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include <optional>
#include <vector>

Go to the source code of this file.

Classes

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

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::dataflow
 Dataflow Directional Tag Classes.
 

Functions

llvm::raw_ostream & clang::dataflow::operator<< (llvm::raw_ostream &, const Solver::Result &)
 
llvm::raw_ostream & clang::dataflow::operator<< (llvm::raw_ostream &, Solver::Result::Assignment)