From b5732056ef3c391e1d6888aa52993713f31586c0 Mon Sep 17 00:00:00 2001 From: Xiaoyan Li Date: Tue, 21 May 2024 15:00:54 +0100 Subject: [PATCH] fix a few typo --- src/StateCharts.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/StateCharts.jl b/src/StateCharts.jl index eac7b93..c3d21de 100644 --- a/src/StateCharts.jl +++ b/src/StateCharts.jl @@ -2,7 +2,7 @@ """ module StateCharts -export hello, StateChartF, Graph +export StateChartF, Graph using Catlab @@ -24,7 +24,7 @@ state_dict(n) = Dict(s=>i for (i, s) in enumerate(n)) S::Ob #state T::Ob #transitions ALT::Ob #alternative branches - E::Ob # start transition (in the basic statechart, there is only 1 start transition) + E::Ob # start transition (in this statechart schema, it can have multiple start transitions -- with multiple state chart in parallel) EALT::Ob # alternative branches for the start transition ts::Hom(T,S)