Here is a list of all namespace members with links to the namespace documentation for each member:

- u -

• uniquify_variables() : pddl::conditions
• unsolvable_sas_task() : translate
• USE_PARTIAL_ENCODING : translate
• USE_SAFE_INVARIANT_SYNTHESIS : translate
• useful_groups() : invariant_finder