Searched refs:makeBoolValue (Results 1 – 5 of 5) 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()
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
85 return A.makeBoolValue(A.makeAtomRef(Top->getAtom())); in unpackValue()
151 return &A.makeBoolValue(JoinedVal); in joinDistinctValues()