Searched refs:LevelStates (Results 1 – 1 of 1) sorted by relevance
482 std::vector<State> LevelStates; member in clang::dataflow::WatchedLiteralsSolverImpl505 LevelStates(CNF.LargestVar + 1) { in WatchedLiteralsSolverImpl()511 LevelStates[0] = State::Decision; in WatchedLiteralsSolverImpl()567 LevelStates[Level] = State::Forced; in solve()580 LevelStates[Level] = State::Forced; in solve()604 LevelStates[Level] = State::Decision; in solve()643 for (; LevelStates[Level] == State::Forced; --Level) { in reverseForcedMoves()