enum class WatchedLiteralsSolverImpl::State
Description
State of the solver at a particular level.
Declared at: clang/lib/Analysis/FlowSensitive/WatchedLiteralsSolver.cpp:403
Enumerators
| Name | Value | Comment |
|---|---|---|
| Decision | 0 | Indicates that the solver made a decision. |
| Forced | 1 | Indicates that the solver made a forced move. |