Searched refs:LeftSubVal (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Value.h | 111 : BoolValue(Kind::Conjunction), LeftSubVal(LeftSubVal), in ConjunctionValue()
119 BoolValue &getLeftSubValue() const { return LeftSubVal; } in getLeftSubValue()
125 BoolValue &LeftSubVal;
133 : BoolValue(Kind::Disjunction), LeftSubVal(LeftSubVal), in DisjunctionValue()
141 BoolValue &getLeftSubValue() const { return LeftSubVal; } in getLeftSubValue()
147 BoolValue &LeftSubVal;
174 : BoolValue(Kind::Implication), LeftSubVal(LeftSubVal), in ImplicationValue()
182 BoolValue &getLeftSubValue() const { return LeftSubVal; } in getLeftSubValue()
188 BoolValue &LeftSubVal;
198 : BoolValue(Kind::Biconditional), LeftSubVal(LeftSubVal), in BiconditionalValue()
[all …]
|
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TestingSupport.h | 233 BoolValue *conj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in conj() argument
235 std::make_unique<ConjunctionValue>(*LeftSubVal, *RightSubVal)); in conj()
240 BoolValue *disj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in disj() argument
242 std::make_unique<DisjunctionValue>(*LeftSubVal, *RightSubVal)); in disj()
253 BoolValue *impl(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in impl() argument
255 std::make_unique<ImplicationValue>(*LeftSubVal, *RightSubVal)); in impl()
260 BoolValue *iff(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in iff() argument
262 std::make_unique<BiconditionalValue>(*LeftSubVal, *RightSubVal)); in iff()
|