reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
135 if (!Solver->getInterpretation(Exp, Value)) 141 Ty->isBooleanType() ? Solver->mkBoolean(Value.getBoolValue()) 142 : Solver->mkBitvector(Value, Value.getBitWidth()), 142 : Solver->mkBitvector(Value, Value.getBitWidth()), 152 return &BVF.getValue(Value);