clang  15.0.0git
Public Member Functions | List of all members
clang::dataflow::WatchedLiteralsSolverImpl Class Reference

Public Member Functions

 WatchedLiteralsSolverImpl (const llvm::DenseSet< BoolValue * > &Vals)
 
Solver::Result solve () &&
 

Detailed Description

Definition at line 307 of file WatchedLiteralsSolver.cpp.

Constructor & Destructor Documentation

◆ WatchedLiteralsSolverImpl()

clang::dataflow::WatchedLiteralsSolverImpl::WatchedLiteralsSolverImpl ( const llvm::DenseSet< BoolValue * > &  Vals)
inlineexplicit

Member Function Documentation

◆ solve()

Solver::Result clang::dataflow::WatchedLiteralsSolverImpl::solve ( ) &&
inline

The documentation for this class was generated from the following file: