Lines Matching full:info
33 SimplifyConstraintsInfo &Info) { in simplify() argument
35 simplifyConstraints(Constraints, A, &Info); in simplify()
76 SimplifyConstraintsInfo Info; in TEST_F() local
80 Info), in TEST_F()
82 EXPECT_THAT(Info.EquivalentAtoms, IsEmpty()); in TEST_F()
83 EXPECT_THAT(Info.TrueAtoms, ElementsAre(Atom(0))); in TEST_F()
84 EXPECT_THAT(Info.FalseAtoms, IsEmpty()); in TEST_F()
88 SimplifyConstraintsInfo Info; in TEST_F() local
93 Info), in TEST_F()
95 EXPECT_THAT(Info.EquivalentAtoms, IsEmpty()); in TEST_F()
96 EXPECT_THAT(Info.TrueAtoms, IsEmpty()); in TEST_F()
97 EXPECT_THAT(Info.FalseAtoms, IsEmpty()); in TEST_F()
101 SimplifyConstraintsInfo Info; in TEST_F() local
107 Info), in TEST_F()
109 EXPECT_THAT(Info.EquivalentAtoms, IsEmpty()); in TEST_F()
110 EXPECT_THAT(Info.TrueAtoms, IsEmpty()); in TEST_F()
111 EXPECT_THAT(Info.FalseAtoms, IsEmpty()); in TEST_F()
115 SimplifyConstraintsInfo Info; in TEST_F() local
121 Info), in TEST_F()
123 EXPECT_THAT(Info.EquivalentAtoms, in TEST_F()
125 EXPECT_THAT(Info.TrueAtoms, IsEmpty()); in TEST_F()
126 EXPECT_THAT(Info.FalseAtoms, IsEmpty()); in TEST_F()
130 SimplifyConstraintsInfo Info; in TEST_F() local
137 Info), in TEST_F()
142 EXPECT_THAT(Info.EquivalentAtoms, IsEmpty()); in TEST_F()
143 EXPECT_THAT(Info.TrueAtoms, ElementsAre(Atom(0))); in TEST_F()
144 EXPECT_THAT(Info.FalseAtoms, ElementsAre(Atom(1))); in TEST_F()
148 SimplifyConstraintsInfo Info; in TEST_F() local
154 Info), in TEST_F()
156 EXPECT_THAT(Info.EquivalentAtoms, in TEST_F()
158 EXPECT_THAT(Info.TrueAtoms, ElementsAre(Atom(0))); in TEST_F()
159 EXPECT_THAT(Info.FalseAtoms, IsEmpty()); in TEST_F()
163 SimplifyConstraintsInfo Info; in TEST_F() local
167 Info), in TEST_F()
172 EXPECT_THAT(Info.EquivalentAtoms, IsEmpty()); in TEST_F()
173 EXPECT_THAT(Info.TrueAtoms, IsEmpty()); in TEST_F()
174 EXPECT_THAT(Info.FalseAtoms, IsEmpty()); in TEST_F()