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

- u -

• UnaryExpressionCell() : dlinear::drake::symbolic::UnaryExpressionCell
• uninterpreted_function : dlinear::drake::symbolic::Expression
• UnorderedSetType : dlinear::ScopedUnorderedSet< Key, Hash, KeyEqual, Allocator >
• 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::SmtSolverOutput, dlinear::SortedVector< T, Compare >
• upper_bound_ : dlinear::PiecewiseLinearConstraint
• use_count() : dlinear::drake::symbolic::ExpressionCell