lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 1234]
 Clucid::BarrierCertificateControl barrier certificates (CBCs) are often used to certify the safety of a stochastic systems
 Clucid::FourierBarrierCertificateBarrier certificate using a Fourier basis as a template for the function
 Clucid::BaseScopedValue< T, Tags >Base class for creating a stack of scoped values of type T, identified by Tags
 Clucid::BaseScopedValue< B, Tags... >
 Clucid::PolymorphicScopedValue< T, B, Tags >Generic scoped value class that can hold a value of type T, while interfacing with a base class B
 Clucid::BaseScopedValue< T, Tags... >
 Clucid::PolymorphicScopedValue< T, T, Tags... >
 Clucid::ConfigurationSimple dataclass used to store the configuration of the program
 Clucid::CrossValidatorDuring cross-validation, the available data is split into k folds
 Clucid::KFoldGeneric K-Fold cross-validation, where the dataset is divided into k folds
 Clucid::LeaveOneOutLeave-One-Out cross-validation (LOOCV) is a specific type of cross-validation where the number of folds equals the number of data points in the dataset
 Cstd::exceptionSTL class
 Cstd::logic_errorSTL class
 Cstd::invalid_argumentSTL class
 Clucid::exception::LucidInvalidArgumentExceptionException for invalid arguments
 Cstd::out_of_rangeSTL class
 Clucid::exception::LucidOutOfRangeExceptionException for out of range errors
 Cstd::runtime_errorSTL class
 Clucid::exception::LucidExceptionBase class for all exceptions in lucid
 Clucid::exception::LucidAssertionExceptionException for assertion failures
 Clucid::exception::LucidInvalidArgumentExceptionException for invalid arguments
 Clucid::exception::LucidLpSolverExceptionException in the LP solver
 Clucid::exception::LucidNotImplementedExceptionException for not yet implemented features
 Clucid::exception::LucidNotSupportedExceptionException for not supported features
 Clucid::exception::LucidOutOfRangeExceptionException for out of range errors
 Clucid::exception::LucidParserExceptionException for parser errors
 Clucid::exception::LucidPyExceptionException occurred in Python code
 Clucid::exception::LucidUnreachableExceptionException for unreachable code
 Clucid::FeatureMapMap input vectors to a feature space
 Clucid::TruncatedFourierFeatureMapTruncated Fourier feature map
 Clucid::ConstantTruncatedFourierFeatureMapTruncated Fourier feature map using fixed intervals between each interval of the normal distribution
 Clucid::LinearTruncatedFourierFeatureMapTruncated Fourier feature map using same-sized intervals between each interval of the normal distribution, from the origin to 3 standard deviations on each side
 Clucid::LogTruncatedFourierFeatureMapTruncated Fourier feature map using log-sized intervals between each interval of the normal distribution, from the origin to 3 standard deviations on each side
 Clucid::plt::FillBetweenKwargsKeyword arguments for fill_between
 Clucid::FourierBarrierCertificateParametersParameters for the Fourier barrier certificate synthesis using PSO
 Clucid::FourierBarrierSynthesisProblemLP problem to solver to achieve the Fourier barrier synthesis
 Clucid::GramMatrixGram Matrix obtained from a kernel function
 Clucid::IndexIterator< T >Iterator over all possible indexes in a given range
 Clucid::InverseGramMatrixThe inverse of a Gram matrix, \( K^{-1} \), allowing transparent multiplication with vectors and matrices
 Clucid::LbfgsParametersStructure copied from lbfgscpp, to avoid a transitive dependency on the external library in the header
 Clucid::MontecarloSimulationMonte Carlo simulation for estimating the safety probability of a system
 Clucid::OptimiserBase class for optimisation solvers
 Clucid::AlglibOptimiserLinear optimiser using the Alglib mathematical library
 Clucid::GurobiOptimiserLinear optimiser using the Gurobi solver
 Clucid::HighsOptimiserLinear optimiser using the HiGHS mathematical library
 Clucid::SoplexOptimiserLinear optimiser using the SoPlex solver
 Clucid::ParameterValueParameter value used in a configurable system or application
 Clucid::ParameterValuesCollection of parameter values used in a configurable system or application
 Clucid::ParametrizableInterface for objects that allow setting and getting parameters dynamically
 Clucid::EstimatorGiven two vector spaces, \( \texttip{\mathcal{X}}{Polish sample vector space} \subseteq \mathbb{R}^{d_x} \) and \( \texttip{\mathcal{Y}}{Polish sample vector space} \subseteq \mathbb{R}^{d_y} \), and a map \( f: \mathcal{X} \to \mathcal{Y} \), the Estimator's goal is to produce a model \( f^*:\mathcal{X} \to \mathcal{Y} \) that best approximates \( f \)
 Clucid::GradientOptimizableInterface for objects that can be optimised using gradient-based methods (e.g., LbfgsTuner)
 Clucid::KernelRidgeRegressorRidge regressor with a kernel function
 Clucid::ModelEstimatorDummy estimator that uses a user-defined function to make predictions
 Clucid::KernelRepresents a kernel function
 Clucid::GaussianKernelRKHS Gaussian kernel
 Clucid::ValleePoussinKernelVallĂ©e-Poussin kernel
 Clucid::plt::PlotKwargsKeyword arguments for the plot function
 Clucid::plt::PlotSurfaceKwargsKeyword arguments for plot_surface
 Clucid::plt::PlotWireframeKwargsKeyword arguments for plot_wireframe
 Clucid::plt::SaveKwargsKeyword arguments for savefig
 Clucid::plt::ScatterKwargsKeyword arguments for scatter
 Clucid::ScopedValueShield< T, Tags >A utility class that temporarily shields all current scoped values of type T and Tags
 Clucid::SetGeneric set over a \( \texttip{d}{Dimension of the vector space} \) dimensional vector space \( \texttip{\mathcal{X}}{Polish sample vector space} \subseteq \mathbb{R}^d \)
 Clucid::EllipseSetMultidimensional ellipsoid set
 Clucid::MultiSetSet composed of the union of multiple sets
 Clucid::PolytopeSetA convex polytope set in half-space representation
 Clucid::RectSetRectangular set over an arbitrary number of dimensions
 Clucid::SphereSetMultidimensional sphere set
 Clucid::StatsSimple struct to hold various statistics about the execution of different components
 Clucid::Tensor< T >Lightweight tensor class
 Clucid::TensorIterator< T >Utility class to iterate over all elements of a tensor
 Clucid::TensorView< T >Lightweight wrapper that provides a view of a tensor
 Clucid::TimerBase< T >Simple timer class to evaluate the performance of the software
 Clucid::TimerBase< chosen_steady_clock >
 Clucid::TimerTimer class using the steady clock (wall time)
 Clucid::TimerBase< user_clock >
 Clucid::UserTimerTimer class using the user_clock (CPU user timer)
 Clucid::TimerGuard< T >The TimeGuard wraps a timer object and pauses it when the guard object is destructed
 Clucid::TunerOptimise the kernel hyperparameters
 Clucid::GridSearchTunerGrid search tuning strategy for model hyperparameter optimisation
 Clucid::LbfgsTunerOptimiser that uses the L-BFGS algorithm
 Clucid::MedianHeuristicTunerTuner that adjusts the kernel parameters using the median heuristic method
 Clucid::user_clockStructure that will hold the user clock data