List of all items

Structs

• core::Matrix
• core::SparseMatrix
• core::Vector
• physics::Distance
• physics::RelativisticEffects
• physics::SpeedOfLight
• physics::TemporalAdvantage
• predictor::DominanceParameters
• predictor::PredictionResult
• predictor::TemporalPredictor
• solver::SolverConfig
• solver::SolverResult
• solver::SublinearSolver
• validation::CausalityValidation
• validation::ComplexityEntry
• validation::Proof
• validation::ProofStep
• validation::ProofValidator
• validation::TheoremProver
• validation::ValidationCheck
• validation::ValidationResult

Enums

• FTLError
• core::Complexity
• solver::SolverMethod

Type Aliases

• Result

Constants

• physics::SPEED_OF_LIGHT_MPS