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

- r -

• random_seed() : dlinear::Config
• rbegin() : dlinear::drake::symbolic::Variables
• read_from_stdin() : dlinear::Config
• RegisterVariable() : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• ReluConstraint() : dlinear::ReluConstraint
• RemoveBound() : dlinear::BoundVector
• RemoveEdge() : dlinear::Graph< T, W, EdgeHash, EdgeEqual >
• RemoveVertex() : dlinear::Graph< T, W, EdgeHash, EdgeEqual >
• rend() : dlinear::drake::symbolic::Variables
• repository_status() : dlinear::ArgParser
• Reset() : dlinear::CompleteSoplexTheorySolver, dlinear::NNSoplexTheorySolver, dlinear::SoplexTheorySolver, dlinear::TheorySolver
• ResetNonFixed() : dlinear::BitIncrementIterator
• ResetNonFixedLeft() : dlinear::BitIncrementIterator
• ResetNonFixedRight() : dlinear::BitIncrementIterator
• Reshape() : dlinear::onnx::Tensor
• Resize() : dlinear::qsopt_ex::MpqArray
• Resume() : dlinear::TimerBase< T >, dlinear::TimerGuard
• RoundingModeGuard() : dlinear::RoundingModeGuard