Lines Matching full:a
22 Arena A; member in clang::dataflow::__anon053341640111::ArenaTest
26 auto &X = A.makeAtomValue(); in TEST_F()
27 auto &Y = A.makeAtomValue(); in TEST_F()
32 auto &X = A.makeTopValue(); in TEST_F()
33 auto &Y = A.makeTopValue(); in TEST_F()
38 auto &X = A.makeAtomRef(A.makeAtom()); in TEST_F()
39 auto &Y = A.makeAtomRef(A.makeAtom()); in TEST_F()
40 auto &XAndY1 = A.makeAnd(X, Y); in TEST_F()
41 auto &XAndY2 = A.makeAnd(X, Y); in TEST_F()
44 auto &YAndX = A.makeAnd(Y, X); in TEST_F()
47 auto &Z = A.makeAtomRef(A.makeAtom()); in TEST_F()
48 auto &XAndZ = A.makeAnd(X, Z); in TEST_F()
53 auto &X = A.makeAtomRef(A.makeAtom()); in TEST_F()
54 auto &Y = A.makeAtomRef(A.makeAtom()); in TEST_F()
55 auto &XOrY1 = A.makeOr(X, Y); in TEST_F()
56 auto &XOrY2 = A.makeOr(X, Y); in TEST_F()
59 auto &YOrX = A.makeOr(Y, X); in TEST_F()
62 auto &Z = A.makeAtomRef(A.makeAtom()); in TEST_F()
63 auto &XOrZ = A.makeOr(X, Z); in TEST_F()
68 auto &X = A.makeAtomRef(A.makeAtom()); in TEST_F()
69 auto &NotX1 = A.makeNot(X); in TEST_F()
70 auto &NotX2 = A.makeNot(X); in TEST_F()
72 auto &Y = A.makeAtomRef(A.makeAtom()); in TEST_F()
73 auto &NotY = A.makeNot(Y); in TEST_F()
78 auto &X = A.makeAtomRef(A.makeAtom()); in TEST_F()
79 auto &Y = A.makeAtomRef(A.makeAtom()); in TEST_F()
80 auto &XImpliesY1 = A.makeImplies(X, Y); in TEST_F()
81 auto &XImpliesY2 = A.makeImplies(X, Y); in TEST_F()
84 auto &YImpliesX = A.makeImplies(Y, X); in TEST_F()
87 auto &Z = A.makeAtomRef(A.makeAtom()); in TEST_F()
88 auto &XImpliesZ = A.makeImplies(X, Z); in TEST_F()
93 auto &X = A.makeAtomRef(A.makeAtom()); in TEST_F()
94 auto &Y = A.makeAtomRef(A.makeAtom()); in TEST_F()
95 auto &XIffY1 = A.makeEquals(X, Y); in TEST_F()
96 auto &XIffY2 = A.makeEquals(X, Y); in TEST_F()
99 auto &YIffX = A.makeEquals(Y, X); in TEST_F()
102 auto &Z = A.makeAtomRef(A.makeAtom()); in TEST_F()
103 auto &XIffZ = A.makeEquals(X, Z); in TEST_F()
108 Atom X = A.makeAtom(); in TEST_F()
109 Atom Y = A.makeAtom(); in TEST_F()
110 const Formula &F1 = A.makeAnd(A.makeAtomRef(X), A.makeAtomRef(Y)); in TEST_F()
111 const Formula &F2 = A.makeAnd(A.makeAtomRef(Y), A.makeAtomRef(X)); in TEST_F()
113 BoolValue &B1 = A.makeBoolValue(F1); in TEST_F()
114 BoolValue &B2 = A.makeBoolValue(F2); in TEST_F()
122 EXPECT_THAT_EXPECTED(A.parseFormula("V5"), HasValue(Ref(A.makeAtomRef(V5)))); in TEST_F()
123 EXPECT_THAT_EXPECTED(A.parseFormula("true"), in TEST_F()
124 HasValue(Ref(A.makeLiteral(true)))); in TEST_F()
125 EXPECT_THAT_EXPECTED(A.parseFormula("!V5"), in TEST_F()
126 HasValue(Ref(A.makeNot(A.makeAtomRef(V5))))); in TEST_F()
129 A.parseFormula("(V5 = V6)"), in TEST_F()
130 HasValue(Ref(A.makeEquals(A.makeAtomRef(V5), A.makeAtomRef(V6))))); in TEST_F()
132 A.parseFormula("(V5 => V6)"), in TEST_F()
133 HasValue(Ref(A.makeImplies(A.makeAtomRef(V5), A.makeAtomRef(V6))))); in TEST_F()
135 A.parseFormula("(V5 & V6)"), in TEST_F()
136 HasValue(Ref(A.makeAnd(A.makeAtomRef(V5), A.makeAtomRef(V6))))); in TEST_F()
138 A.parseFormula("(V5 | V6)"), in TEST_F()
139 HasValue(Ref(A.makeOr(A.makeAtomRef(V5), A.makeAtomRef(V6))))); in TEST_F()
142 A.parseFormula("((V5 & (V6 & !false)) => ((V5 | V6) | false))"), in TEST_F()
144 A.makeImplies(A.makeAnd(A.makeAtomRef(V5), in TEST_F()
145 A.makeAnd(A.makeAtomRef(V6), in TEST_F()
146 A.makeNot(A.makeLiteral(false)))), in TEST_F()
147 A.makeOr(A.makeOr(A.makeAtomRef(V5), A.makeAtomRef(V6)), in TEST_F()
148 A.makeLiteral(false)))))); in TEST_F()
151 A.parseFormula("(V0 => error)"), llvm::FailedWithMessage(R"(bad formula at offset 7 in TEST_F()
155 A.parseFormula("V1 V2"), llvm::FailedWithMessage(R"(bad formula at offset 3 in TEST_F()
161 auto &X = A.makeAtomRef(A.makeAtom()); in TEST_F()
163 EXPECT_EQ(&X, &A.makeAnd(X, X)); in TEST_F()
164 EXPECT_EQ(&X, &A.makeOr(X, X)); in TEST_F()
165 EXPECT_EQ(&A.makeLiteral(true), &A.makeImplies(X, X)); in TEST_F()
166 EXPECT_EQ(&A.makeLiteral(true), &A.makeEquals(X, X)); in TEST_F()
167 EXPECT_EQ(&X, &A.makeNot(A.makeNot(X))); in TEST_F()
171 auto &X = A.makeAtomRef(A.makeAtom()); in TEST_F()
173 EXPECT_EQ(&X, &A.makeAnd(X, A.makeLiteral(true))); in TEST_F()
174 EXPECT_EQ(&A.makeLiteral(false), &A.makeAnd(X, A.makeLiteral(false))); in TEST_F()
176 EXPECT_EQ(&A.makeLiteral(true), &A.makeOr(X, A.makeLiteral(true))); in TEST_F()
177 EXPECT_EQ(&X, &A.makeOr(X, A.makeLiteral(false))); in TEST_F()
179 EXPECT_EQ(&A.makeLiteral(true), &A.makeImplies(X, A.makeLiteral(true))); in TEST_F()
180 EXPECT_EQ(&A.makeNot(X), &A.makeImplies(X, A.makeLiteral(false))); in TEST_F()
181 EXPECT_EQ(&X, &A.makeImplies(A.makeLiteral(true), X)); in TEST_F()
182 EXPECT_EQ(&A.makeLiteral(true), &A.makeImplies(A.makeLiteral(false), X)); in TEST_F()
184 EXPECT_EQ(&X, &A.makeEquals(X, A.makeLiteral(true))); in TEST_F()
185 EXPECT_EQ(&A.makeNot(X), &A.makeEquals(X, A.makeLiteral(false))); in TEST_F()
187 EXPECT_EQ(&A.makeLiteral(false), &A.makeNot(A.makeLiteral(true))); in TEST_F()
188 EXPECT_EQ(&A.makeLiteral(true), &A.makeNot(A.makeLiteral(false))); in TEST_F()