Skip to main content

UniformCausaloid

Type Alias UniformCausaloid 

Source
pub type UniformCausaloid = Causaloid<bool, bool, (), Arc<RwLock<UniformContext>>>;
Expand description

A type alias for a default, general-purpose Causaloid configuration that uses abstract “kind” enums for its spatial, temporal, and symbolic contexts.

This UniformCausaloid alias represents a single, identity-bearing causal unit (Causaloid) configured with a standard set of generic parameters. It is designed for common causal modeling scenarios where the specific underlying concrete types for space, time, and symbols can vary but are represented by their respective “kind” enums.

It provides a convenient and readable shorthand for defining a Causaloid that encapsulates:

  • Data<NumberType>: Represents the data component associated with the causaloid. NumberType is a generic numeric type, typically an alias for a floating-point or integer, allowing for flexible data representation.
  • SpaceKind: Defines the spatial context using an abstract SpaceKind enum. This allows the causaloid to operate with various spatial representations (e.g., EuclideanSpace, EcefSpace, NedSpace, GeoSpace) without changing the Causaloid’s type signature, providing uniformity across different spatial contexts.
  • TimeKind: Specifies the temporal context using an abstract TimeKind enum. This enables the causaloid to handle different temporal representations (e.g., EuclideanTime, DiscreteTime, EntropicTime, LorentzianTime) flexibly, offering a uniform temporal interface.
  • SpaceTimeKind: Combines the spatial and temporal contexts into a unified spacetime representation using an abstract SpaceTimeKind enum, allowing for various spacetime geometries (e.g., EuclideanSpacetime, LorentzianSpacetime, MinkowskiSpacetime) in a uniform manner.
  • SymbolKind: Provides a basic symbolic representation for the causaloid using an abstract SymbolKind enum, useful for labeling, identification, or abstract reasoning across different symbolic types.
  • FloatType (x2): Two FloatType parameters, typically used for internal calculations, scalar values, or other generic numerical requirements within the Causaloid structure, such as probabilities, weights, or magnitudes. FloatType is generally an alias for a standard floating-point type.

This UniformCausaloid is designed to be a sensible default for many applications requiring a flexible yet consistent causal unit structure that can adapt to different underlying spatial, temporal, and symbolic representations through their respective Kind enums. It promotes code reusability and simplifies type declarations when the exact concrete type of a context component is not fixed but rather belongs to a set of predefined “kinds”.

Aliased Type§

pub struct UniformCausaloid { /* private fields */ }