List of all items
Structs
- Bivector
- Multivector
- Vector
- error::GeometricError
- generators::ArbitraryGA3
- generators::ArbitraryRotor
- generators::ArbitraryUnitVector
- generators::ArbitraryVector
- invariants::EmergentBehavior
- invariants::EmergentObservation
- invariants::EmergentRegistry
- invariants::ImpossibleInvariant
- invariants::RareInvariant
- manifold::MagnitudeConstraint
- manifold::Manifold
- manifold::PureBivectorConstraint
- manifold::PureVectorConstraint
- manifold::ScalarConstraint
- prelude::Bernoulli
- prelude::Bivector
- prelude::Exponential
- prelude::MonteCarloVerifier
- prelude::Multivector
- prelude::Normal
- prelude::Prob
- prelude::RareEvent
- prelude::SmtProofObligation
- prelude::Uniform
- prelude::Vector
- result::InvariantTestReport
Enums
- prelude::EventVerification
- prelude::ObligationKind
- prelude::VerificationResult
- result::InvariantCategory
- result::TestResult
Traits
- invariants::Invariant
- manifold::ManifoldConstraint
- prelude::ProbabilisticContract
- prelude::StatisticalProperty
Macros
- emergent
- geometric_test
- invariant_impossible
- invariant_rare
- prelude::emergent
- prelude::invariant_impossible
- prelude::invariant_rare
- verify_invariant
Functions
- bivector
- from_coeffs
- generators::arbitrary_bivector
- generators::arbitrary_ga3
- generators::arbitrary_rotor
- generators::arbitrary_unit_vector
- generators::arbitrary_vector
- manifold::rotor_manifold
- manifold::unit_sphere
- sandwich
- vector