Expand description
DeepCausality is a hyper-geometric computational causality library that enables fast and deterministic context-aware causal reasoning over complex causality models.
Why DeepCausality?
- DeepCausality is written in Rust with production-grade safety, reliability, and performance in mind.
- DeepCausality provides recursive causal data structures that concisely express arbitrary complex causal structures.
- DeepCausality enables context awareness across data-like, time-like, space-like, spacetime-like entities stored within (multiple) context-hyper-graphs.
- DeepCausality simplifies modeling of complex tempo-spatial patterns.
- DeepCausality comes with Causal State Machine (CSM)
Re-exports§
pub use crate::traits::adjustable::Adjustable;pub use crate::traits::assumable::Assumable;pub use crate::traits::assumable::AssumableReasoning;pub use crate::traits::causable::Causable;pub use traits::causable::causable_reasoning::CausableReasoning;pub use crate::traits::causable_graph::graph::CausableGraph;pub use crate::traits::causable_graph::graph_explaining::CausableGraphExplaining;pub use crate::traits::causable_graph::graph_reasoning::CausableGraphReasoning;pub use crate::traits::contextuable::Contextuable;pub use crate::traits::contextuable::coordinate::Coordinate;pub use crate::traits::contextuable::datable::Datable;pub use crate::traits::contextuable::metric::Metric;pub use crate::traits::contextuable::metric_coordinate::MetricCoordinate;pub use crate::traits::contextuable::metric_tensor::MetricTensor4D;pub use crate::traits::contextuable::space_temporal::SpaceTemporal;pub use crate::traits::contextuable::space_temporal::SpaceTemporalInterval;pub use crate::traits::contextuable::spatial::Spatial;pub use crate::traits::contextuable::symbolic::Symbolic;pub use crate::traits::contextuable::temporal::Temporal;pub use crate::traits::contextuable_graph::ContextuableGraph;pub use crate::traits::contextuable_graph::ExtendableContextuableGraph;pub use crate::traits::generatable::Generatable;pub use crate::traits::generatable::generative_processor::GenerativeProcessor;pub use crate::traits::identifiable::Identifiable;pub use crate::traits::indexable::time_index_current::CurrentTimeIndex;pub use crate::traits::indexable::time_index_previous::PreviousTimeIndex;pub use crate::traits::indexable::time_indexable::TimeIndexable;pub use crate::traits::inferable::Inferable;pub use crate::traits::inferable::InferableReasoning;pub use crate::traits::observable::Observable;pub use crate::traits::observable::ObservableReasoning;pub use crate::traits::scalar::scalar_projector::ScalarProjector;pub use crate::traits::scalar::scalar_value::ScalarValue;pub use crate::types::causal_types::causal_type::CausaloidType;pub use crate::types::causal_types::causaloid::Causaloid;pub use crate::types::causal_types::causaloid_graph::CausaloidGraph;pub use crate::types::context_types::context_graph;pub use crate::types::context_types::context_graph::Context;pub use crate::types::context_node_types::data::Data;pub use crate::types::context_node_types::root::Root;pub use crate::types::context_node_types::space::ecef_space::EcefSpace;pub use crate::types::context_node_types::space::euclidean_space::EuclideanSpace;pub use crate::types::context_node_types::space::geo_space::GeoSpace;pub use crate::types::context_node_types::space::ned_space::NedSpace;pub use crate::types::context_node_types::space::quaternion_space::QuaternionSpace;pub use crate::types::context_node_types::space::space_kind::SpaceKind;pub use crate::types::context_node_types::space_time::euclidean_spacetime::EuclideanSpacetime;pub use crate::types::context_node_types::space_time::lorentzian_spacetime::LorentzianSpacetime;pub use crate::types::context_node_types::space_time::minkowski_spacetime::MinkowskiSpacetime;pub use crate::types::context_node_types::space_time::space_time_kind::SpaceTimeKind;pub use crate::types::context_node_types::space_time::tangent_spacetime::TangentSpacetime;pub use crate::types::context_node_types::symbol::base_symbol::BaseSymbol;pub use crate::types::context_node_types::symbol_spacetime::causal_set_spacetime::CausalSetSpacetime;pub use crate::types::context_node_types::symbol_spacetime::conformal_spacetime::ConformalSpacetime;pub use crate::types::context_node_types::time::discrete_time::DiscreteTime;pub use crate::types::context_node_types::time::entropic_time::EntropicTime;pub use crate::types::context_node_types::time::euclidean_time::EuclideanTime;pub use crate::types::context_node_types::time::lorentzian_time::LorentzianTime;pub use crate::types::context_node_types::time::symbolic_time::SymbolicTime;pub use crate::types::context_node_types::time::symbolic_time::SymbolicTimeUnit;pub use crate::types::context_node_types::time::time_kind::TimeKind;pub use crate::types::context_types::time_scale::TimeScale;pub use crate::types::csm_types::CSM;pub use crate::types::csm_types::csm_action::CausalAction;pub use crate::types::csm_types::csm_state::CausalState;pub use crate::types::generative_types::generative_output::GenerativeOutput;pub use crate::types::generative_types::generative_trigger::GenerativeTrigger;pub use crate::types::model_types::assumption::Assumption;pub use crate::types::model_types::inference::Inference;pub use crate::types::model_types::model::Model;pub use crate::types::model_types::observation::Observation;pub use crate::types::reasoning_types::propagating_effect::PropagatingEffect;pub use crate::types::reasoning_types::reasoning_mode::ReasoningMode;pub use crate::types::reasoning_types::unified_evidence::Evidence;pub use crate::types::symbolic_types::symbolic_representation::SymbolicRepresentation;pub use crate::types::symbolic_types::symbolic_result::SymbolicResult;pub use crate::errors::*;pub use crate::traits::causable_graph::*;pub use crate::types::alias_types::alias_base::*;pub use crate::types::alias_types::alias_function::*;pub use crate::types::alias_types::alias_lock::*;pub use crate::types::alias_types::alias_primitives::*;pub use crate::types::alias_types::alias_uniform::*;pub use crate::types::alias_types::*;pub use crate::types::causal_types::*;pub use crate::types::context_types::contextoid::contextoid_type::*;pub use crate::types::context_types::contextoid::*;pub use crate::types::context_types::relation_kind::*;pub use crate::utils::time_utils::*;
Modules§
Macros§
- coord_
match - A macro to concisely and safely implement coordinate indexing with bounds checking.