Skip to main content

project_manifold_ltl_trace

qualia_core_db::modalities::manifold

Function project_manifold_ltl_trace 

Source 
pub fn project_manifold_ltl_trace(
    states: &[ManifoldState10D],
    dimension: ManifoldDimension,
    threshold: f32,
    at_least: bool,
    out: &mut [NQuin],
) -> usize
Expand description

Convert a 10D coordinate trace into propositions consumable by the existing LTL evaluator. at_least=true means dimension >= threshold; false means dimension <= threshold.