Searched refs:LevelStates (Results 1 – 1 of 1) sorted by relevance
86 std::vector<State> LevelStates; member in clang::dataflow::__anon6ff0613e0111::WatchedLiteralsSolverImpl111 LevelVars(CNF.largestVar() + 1), LevelStates(CNF.largestVar() + 1) { in WatchedLiteralsSolverImpl()132 LevelStates[0] = State::Decision; in WatchedLiteralsSolverImpl()188 LevelStates[Level] = State::Forced; in solve()201 LevelStates[Level] = State::Forced; in solve()225 LevelStates[Level] = State::Decision; in solve()264 for (; LevelStates[Level] == State::Forced; --Level) { in reverseForcedMoves()