Searched refs:makeBoolValue (Results 1 – 5 of 5) sorted by relevance
519 return arena().makeBoolValue(arena().makeLiteral(Value)); in getBoolLiteralValue()537 return arena().makeBoolValue( in makeAnd()546 return arena().makeBoolValue( in makeOr()553 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()561 return arena().makeBoolValue( in makeImplication()570 return arena().makeBoolValue( in makeIff()
66 BoolValue &makeBoolValue(const Formula &);72 return cast<AtomicBoolValue>(makeBoolValue(makeAtomRef(makeAtom()))); in makeAtomValue()
112 BoolValue &Arena::makeBoolValue(const Formula &F) { in makeBoolValue() function in clang::dataflow::Arena
71 return A.makeBoolValue(A.makeAtomRef(Top->getAtom())); in unpackValue()
123 return &A.makeBoolValue(MergedVal); in mergeDistinctValues()