Skip to content

Commit

Permalink
fix a few typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Xiaoyan-Li committed May 21, 2024
1 parent c81dca4 commit b573205
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/StateCharts.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
"""
module StateCharts

export hello, StateChartF, Graph
export StateChartF, Graph

using Catlab

Expand All @@ -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)
Expand Down

0 comments on commit b573205

Please sign in to comment.