lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
lucid::Stats Struct Reference

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.
 

Detailed Description

Simple struct to hold various statistics about the execution of different components.


The documentation for this struct was generated from the following file: