adding docstrings

Author: johnaoga

docs/src/reference/Optim.md

@@ -17,3 +17,30 @@ Dionysos.Optim.BemporadMorari.Optimizer
 Dionysos.Optim.BranchAndBound.Optimizer
 ```
 
+## Solvers details
+
+### Uniform Grid Abstraction
+
+```@docs
+Dionysos.Optim.Abstraction.UniformGridAbstraction._get_domain_list :: Tuple{Any, Any, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._discretize_continuous_system :: Tuple{MathematicalSystems.ConstrainedBlackBoxControlContinuousSystem, Any, Any}
+MathOptInterface.optimize! :: Tuple{Dionysos.Optim.Abstraction.UniformGridAbstraction.Optimizer}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._validate_continuous_model :: Tuple{Dionysos.Optim.Abstraction.UniformGridAbstraction.Optimizer}
+Dionysos.Optim.Abstraction.UniformGridAbstraction.solve_concrete_problem :: Tuple{Any, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction.build_abstraction :: Tuple{Any, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction.compute_controller_reach! :: Tuple{Any, Any, Any, Vector{Int64}}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._compute_num_targets_unreachable :: Tuple{Any, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._discrete_system :: Tuple{MathematicalSystems.ConstrainedBlackBoxControlDiscreteSystem, Any, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction.compute_controller_safe! :: NTuple{4, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._maybe_discretized_system :: Tuple{Any, Any, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction.solve_abstract_problem :: Tuple{Dionysos.Problem.SafetyProblem}
+Dionysos.Optim.Abstraction.UniformGridAbstraction.solve_abstract_problem :: Tuple{Dionysos.Problem.OptimalControlProblem}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._data :: NTuple{4, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._validate_discrete_model :: Tuple{Dionysos.Optim.Abstraction.UniformGridAbstraction.Optimizer}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._compute_controller_reach! :: NTuple{7, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction.build_abstract_problem :: Tuple{Any, Dionysos.Symbolic.SymbolicModelList}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._validate_model :: Tuple{Dionysos.Optim.Abstraction.UniformGridAbstraction.Optimizer, Vector{Symbol}}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._corresponding_abstract_points :: Tuple{Any, Any, Any}
+Dionysos.Optim.Abstraction.UniformGridAbstraction._compute_pairstable :: Tuple{Any, Any}
+```
+