Function mangleSgValueExp# Defined in File manglingSupport.h Function Documentation# std::string mangleSgValueExp(const SgBoolValExp *expr)# Mangles a boolean expression.