Struct funfsm::fsm_check::Checker

pub struct Checker<T: FsmTypes> {
    pub fsm: Fsm<T>,
    // some fields omitted
}

Fields

fsm: Fsm<T>

Methods

impl<T: FsmTypes> Checker<T>

fn new(
    ctx: T::Context,
    state: StateFn<T>,
    constraints: Constraints<T>
) -> Checker<T>

fn check(&mut self, msg: T::Msg) -> Result<Vec<T::Output>, String>

fn check_preconditions(&self) -> Result<(&'static str, T::Context), String>

fn check_postconditions(
    &self,
    from: &'static str,
    init_ctx: &T::Context,
    msg: &T::Msg,
    output: &Vec<T::Output>
) -> Result<(), String>