Module Fsml.SeqmodelSource

Sequential model (used by C and VHDL backends)

Sourcetype t = {
  1. m_name : string;
  2. m_states : (string * Valuation.t) list;
  3. m_inps : (string * Types.t) list;
  4. m_outps : (string * Types.t) list;
  5. m_vars : (string * Types.t) list;
  6. m_init : State.t * Action.t list;
    (*

    Initial transition

    *)
  7. m_body : (State.t * Transition.t list) list;
    (*

    Transitions, indexed by source state

    *)
}
Sourceval make : Fsm.t -> t

make f builds a sequential model from FSM f. The FSM is first type-checked.