Struct Model 

pub struct Model<I, O, C>
where
    I: Default,
    O: Default + Debug,
    C: Clone,
{ /* private fields */ }

Implementations

impl<I, O, C> Model<I, O, C>

where I: Default, O: Default + Debug, C: Clone,

pub fn id(&self) -> u64

pub fn author(&self) -> &str

pub fn description(&self) -> &str

pub fn assumptions(&self) -> Option<&Arc<Vec<Assumption>>>

pub fn causaloid(&self) -> &Arc<Causaloid<I, O, (), Arc<RwLock<C>>>>

Returns a reference to the root Causaloid of the model.

The Causaloid encapsulates the core causal logic of the model.

pub fn context(&self) -> Option<&Arc<RwLock<C>>>

impl<I, O, C> Model<I, O, C>

where I: Default, O: Default + Debug, C: Clone,

pub fn new( id: u64, author: &str, description: &str, assumptions: Option<Arc<Vec<Assumption>>>, causaloid: Arc<Causaloid<I, O, (), Arc<RwLock<C>>>>, context: Option<Arc<RwLock<C>>>, ) -> Self

impl<I, O, D, S, T, ST, SYM, VS, VT> Model<I, O, Context<D, S, T, ST, SYM, VS, VT>>

where I: Default + Clone, O: Default + Debug + Clone, D: Datable + Copy + Clone + PartialEq + Debug, S: Spatial<VS> + Clone + Debug, T: Temporal<VT> + Clone + Debug, ST: SpaceTemporal<VS, VT> + Clone + Debug, SYM: Symbolic + Clone + Debug, VS: Clone + Debug, VT: Clone + Debug,

pub fn evolve( &self, op_tree: &OpTree<I, O, Context<D, S, T, ST, SYM, VS, VT>, Contextoid<D, S, T, ST, SYM, VS, VT>>, ) -> Result<(Self, ModificationLog), ModelValidationError>

Evolves the model by applying a sequence of operations defined in an OpTree.

This method uses the HKT-based Interpreter to execute the operations and returns a new Model instance reflecting the changes, along with a log of modifications.

Trait Implementations

impl<I, O, C> Debug for Model<I, O, C>

where I: Default + Debug, O: Default + Debug + Debug, C: Clone + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<I, O, C> Identifiable for Model<I, O, C>

where I: Default, O: Default + Debug, C: Clone,

fn id(&self) -> u64

impl<I, O, C> Transferable for Model<I, O, C>

where I: Default, O: Default + Debug, C: Clone,

fn get_assumptions(&self) -> &Option<Arc<Vec<Assumption>>>

fn verify_assumptions( &self, effect: &[PropagatingEffect<f64>], ) -> Result<(), AssumptionError>

Verifies the model’s assumptions against a given PropagatingEffect.