Searched refs:AssignedTrue (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | SolverTest.cpp | 55 UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue))); in TEST()
87 UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue), in TEST()
191 Pair(Y, Solver::Result::Assignment::AssignedTrue))); in TEST()
242 Pair(X, Solver::Result::Assignment::AssignedTrue), in TEST()
243 Pair(Y, Solver::Result::Assignment::AssignedTrue)), in TEST()
258 UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue), in TEST()
259 Pair(Y, Solver::Result::Assignment::AssignedTrue))); in TEST()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.cpp | 421 AssignedTrue = 1 enumerator
491 VarAssignments[Var] = VarAssignments[Var] == Assignment::AssignedTrue in solve()
493 : Assignment::AssignedTrue; in solve()
504 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()
558 : Solver::Result::Assignment::AssignedTrue; in buildSolution()
584 const Literal FalseLit = VarAssignments[Var] == Assignment::AssignedTrue in updateWatchedLiterals()
663 : Assignment::AssignedTrue; in decideAssignment()
|
| H A D | DebugSupport.cpp | 38 case Solver::Result::Assignment::AssignedTrue: in debugString()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Solver.h | 44 enum class Assignment : uint8_t { AssignedFalse = 0, AssignedTrue = 1 }; enumerator
|