Here is a list of all documented functions with links to the class documentation for each member:

- u -

• UnaryExpressionCell() : dlinear::drake::symbolic::UnaryExpressionCell
• Unsqueeze() : dlinear::onnx::Tensor
• UpdateAndPrintOutput() : dlinear::Context::Impl
• UpdateBitIncrementIteratorBasedOnExplanation() : dlinear::CompleteSoplexTheorySolver
• UpdateBounds() : dlinear::PiecewiseLinearConstraint
• UpdateExplanation() : dlinear::QsoptexTheorySolver, dlinear::SoplexTheorySolver, dlinear::TheorySolver
• UpdateExplanationInfeasible() : dlinear::CompleteSoplexTheorySolver
• UpdateExplanations() : dlinear::TheorySolver
• UpdateExplanationStrictInfeasible() : dlinear::CompleteSoplexTheorySolver
• UpdateHash() : dlinear::drake::symbolic::ExpressionAdd, dlinear::drake::symbolic::ExpressionCell, dlinear::drake::symbolic::ExpressionConstant
• UpdateLookup() : dlinear::SatSolver
• UpdateLowerBound() : dlinear::LeakyReluConstraint, dlinear::PiecewiseLinearConstraint, dlinear::ReluConstraint
• UpdateModelBounds() : dlinear::QsoptexTheorySolver, dlinear::SoplexTheorySolver, dlinear::TheorySolver
• UpdateModelSolution() : dlinear::QsoptexTheorySolver, dlinear::SoplexTheorySolver, dlinear::TheorySolver
• UpdateUpperBound() : dlinear::LeakyReluConstraint, dlinear::PiecewiseLinearConstraint, dlinear::ReluConstraint
• UpdateVector() : dlinear::BitIncrementIterator
• upper_bound() : dlinear::PiecewiseLinearConstraint, dlinear::SortedVector< T, Compare >
• use_count() : dlinear::drake::symbolic::ExpressionCell