- u -

• UnaryExpressionCell() : UnaryExpressionCell
• use_count() : ExpressionCell , FormulaCell
• use_local_optimization() : Config
• use_polytope() : Config
• use_polytope_in_forall() : Config
• use_worklist_fixpoint() : Config