- u -

• underlying_enum_value() : carl
• uninterpreted_functions() : carl
• uninterpreted_variables() : carl
• univariateTarskiQuery() : carl