Searched refs:LevelStates (Results 1 – 1 of 1) sorted by relevance
416 std::vector<State> LevelStates; member in clang::dataflow::WatchedLiteralsSolverImpl438 LevelStates(Formula.LargestVar + 1) { in WatchedLiteralsSolverImpl()444 LevelStates[0] = State::Decision; in WatchedLiteralsSolverImpl()489 LevelStates[Level] = State::Forced; in solve()502 LevelStates[Level] = State::Forced; in solve()526 LevelStates[Level] = State::Decision; in solve()566 for (; LevelStates[Level] == State::Forced; --Level) { in reverseForcedMoves()