Lines Matching refs:Assignment

55       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue)));  in TEST()
66       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse)));  in TEST()
87       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue),  in TEST()
88                            Pair(Y, Solver::Result::Assignment::AssignedFalse)));  in TEST()
173       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse),  in TEST()
190       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse),  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()
245                 Pair(X, Solver::Result::Assignment::AssignedFalse),  in TEST()
246                 Pair(Y, Solver::Result::Assignment::AssignedFalse))));  in TEST()
258       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue),  in TEST()
259                            Pair(Y, Solver::Result::Assignment::AssignedTrue)));  in TEST()