Skip to main content

TransitionSpec

planarian_schema::transition

Trait TransitionSpec 

Source 
pub trait TransitionSpec {
    // Required methods
    fn precondition(&self, s: &SystemState, defs: &UnitDefs) -> bool;
    fn predict(&self, s: &SystemState, defs: &UnitDefs) -> Expectation;
    fn derive(
        &self,
        s: &SystemState,
        defs: &UnitDefs,
        generation: &EvaluatedGeneration,
        caller: Actor,
    ) -> DerivedFacts;
}

Required Methods§

Source

fn precondition(&self, s: &SystemState, defs: &UnitDefs) -> bool

Source

fn predict(&self, s: &SystemState, defs: &UnitDefs) -> Expectation

Source

fn derive( &self, s: &SystemState, defs: &UnitDefs, generation: &EvaluatedGeneration, caller: Actor, ) -> DerivedFacts

Implementors§