pub struct OrbitalEngine { /* private fields */ }Expand description
Unified orbital engine implementing DemoEngine.
This replaces the old KeplerOrbitDemo + EddDemo pattern with
a proper DemoEngine implementation that:
- Loads from YAML
- Produces deterministic states
- Supports TUI/WASM parity verification
Implementations§
Source§impl OrbitalEngine
impl OrbitalEngine
Sourcepub fn kepler_config(&self) -> KeplerConfig
pub fn kepler_config(&self) -> KeplerConfig
Convert internal config to KeplerConfig for legacy compatibility.
This allows the new YAML-first engine to work with code expecting
the old KeplerConfig type.
Trait Implementations§
Source§impl Clone for OrbitalEngine
impl Clone for OrbitalEngine
Source§fn clone(&self) -> OrbitalEngine
fn clone(&self) -> OrbitalEngine
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for OrbitalEngine
impl Debug for OrbitalEngine
Source§impl DemoEngine for OrbitalEngine
impl DemoEngine for OrbitalEngine
Source§type Config = OrbitConfig
type Config = OrbitConfig
Configuration type loaded from YAML.
Source§type State = OrbitalState
type State = OrbitalState
State snapshot for replay/audit.
Source§type StepResult = OrbitalStepResult
type StepResult = OrbitalStepResult
Result of a single step.
Source§fn from_yaml(yaml: &str) -> Result<Self, DemoError>
fn from_yaml(yaml: &str) -> Result<Self, DemoError>
Create engine from YAML configuration string. Read more
Source§fn from_config(config: Self::Config) -> Self
fn from_config(config: Self::Config) -> Self
Create engine from config struct.
Source§fn reset_with_seed(&mut self, seed: u64)
fn reset_with_seed(&mut self, seed: u64)
Reset with a new seed.
Source§fn step(&mut self) -> Self::StepResult
fn step(&mut self) -> Self::StepResult
Execute one step (deterministic given state + seed).
Source§fn is_complete(&self) -> bool
fn is_complete(&self) -> bool
Check if simulation is complete/converged.
Source§fn step_count(&self) -> u64
fn step_count(&self) -> u64
Get current step number.
Source§fn falsification_criteria(&self) -> Vec<FalsificationCriterion>
fn falsification_criteria(&self) -> Vec<FalsificationCriterion>
Get falsification criteria from config.
Source§fn evaluate_criteria(&self) -> Vec<CriterionResult>
fn evaluate_criteria(&self) -> Vec<CriterionResult>
Evaluate all criteria against current state.
Source§fn metamorphic_relations(&self) -> Vec<MetamorphicRelation>
fn metamorphic_relations(&self) -> Vec<MetamorphicRelation>
Get metamorphic relations for this demo.
Source§fn verify_mr(&self, mr: &MetamorphicRelation) -> MrResult
fn verify_mr(&self, mr: &MetamorphicRelation) -> MrResult
Verify a specific metamorphic relation.
Source§fn is_verified(&self) -> bool
fn is_verified(&self) -> bool
Check if all criteria pass.
Source§fn verify_all_mrs(&self) -> Vec<MrResult>
fn verify_all_mrs(&self) -> Vec<MrResult>
Verify all metamorphic relations.
Auto Trait Implementations§
impl Freeze for OrbitalEngine
impl RefUnwindSafe for OrbitalEngine
impl Send for OrbitalEngine
impl Sync for OrbitalEngine
impl Unpin for OrbitalEngine
impl UnsafeUnpin for OrbitalEngine
impl UnwindSafe for OrbitalEngine
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more