|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
Simple struct to hold various statistics about the execution of different components. More...
#include <Stats.h>
Public Attributes | |
| Timer | estimator_timer |
| Metric measuring the time spent for estimator applications. | |
| Timer | feature_map_timer |
| Metric measuring the time spent for feature map applications. | |
| Timer | optimiser_timer |
| Metric measuring the time spent in optimising. | |
| Timer | barrier_timer |
| Metric measuring the time spent in barrier certificate synthesis. | |
| Timer | tuning_timer |
| Metric measuring the time spent for hyperparameter tuning. | |
| Timer | kernel_timer |
| Metric measuring the time spent for kernel evaluations. | |
| Timer | total_timer |
| Metric measuring the total time spent in the whole pipeline. | |
| Timer | cross_validation_timer_ |
| Metric measuring the time spent in cross-validation. | |
| std::size_t | num_estimator_consolidations {0} |
| Number of times an estimator was consolidated. | |
| std::size_t | num_kernel_applications {0} |
| Number of times a kernel was applied. | |
| std::size_t | num_feature_map_applications {0} |
| Number of times a feature map was applied. | |
| std::size_t | num_tuning {0} |
| Number of hyperparameter tuning runs. | |
| std::size_t | num_constraints {0} |
| Number of constraints in the last optimisation problem. | |
| std::size_t | num_variables {0} |
| Number of variables in the last optimisation problem. | |
| double | C {0} |
| Regularisation parameter C in the last optimisation problem. | |
| double | A_xn_wo_x {0} |
| A coefficient computed over Xn \ X. | |
| double | A_xn_wo_x0 {0} |
| A coefficient computed over Xn \ X0. | |
| double | A_xn_wo_xu {0} |
| A coefficient computed over Xn \ Xu. | |
| double | min_x0 {0} |
| Minimum value of the barrier over lattice points in X0. | |
| double | max_xn_wo_x0 {0} |
| Maximum value of the barrier over lattice points in Xn \ X0. | |
| double | max_xu {0} |
| Maximum value of the barrier over lattice points in Xu. | |
| double | min_xn_wo_xu {0} |
| Minimum value of the barrier over lattice points in Xn \ Xu. | |
| double | max_x {0} |
| Maximum value of the barrier over lattice points in X. | |
| double | min_xn_wo_x {0} |
| Minimum value of the barrier over lattice points in Xn \ X. | |
| double | min_d {0} |
| Minimum value of the barrier xp - x over lattice points in X. | |
| double | max_d_xn_wo_x {0} |
| Maximum value of the barrier xp - x over lattice points in Xn \ X. | |
| std::size_t | peak_rss_memory_usage {0} |
| Peak Resident Set Size (RSS) memory usage in bytes. | |
Simple struct to hold various statistics about the execution of different components.