Searched refs:makeBoolValue (Results 1 – 4 of 4) sorted by relevance
570 return arena().makeBoolValue(arena().makeLiteral(Value)); in getBoolLiteralValue()588 return arena().makeBoolValue( in makeAnd()597 return arena().makeBoolValue( in makeOr()604 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()612 return arena().makeBoolValue( in makeImplication()621 return arena().makeBoolValue( in makeIff()
112 BoolValue &Arena::makeBoolValue(const Formula &F) { in makeBoolValue() function in clang::dataflow::Arena
90 return A.makeBoolValue(A.makeAtomRef(Top->getAtom())); in unpackValue()
149 return &A.makeBoolValue(JoinedVal); in joinDistinctValues()