clang::dataflow::WatchedLiteralsSolverImpl Class Reference

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

Detailed Description

Definition at line 386 of file WatchedLiteralsSolver.cpp.

Constructor & Destructor Documentation

WatchedLiteralsSolverImpl()

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

inlineexplicit

Definition at line 441 of file WatchedLiteralsSolver.cpp.

References clang::dataflow::BooleanFormula::LargestVar, clang::dataflow::negLit(), clang::dataflow::NullVar, and clang::dataflow::posLit().

Member Function Documentation

solve()

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

inline

Definition at line 461 of file WatchedLiteralsSolver.cpp.

References clang::dataflow::negLit(), clang::dataflow::posLit(), clang::dataflow::Solver::Result::Satisfiable, and clang::dataflow::Solver::Result::Unsatisfiable().

Referenced by clang::dataflow::WatchedLiteralsSolver::solve().

---

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

• lib/Analysis/FlowSensitive/WatchedLiteralsSolver.cpp