Commit ⋅ blegat/HybridSystems.jl

using MappedArrays: ReadonlyMappedArray

"""
    LightAutomaton{GT, ET} <: AbstractAutomaton
    GraphAutomaton{GT, ET} <: AbstractAutomaton

A hybrid automaton that uses the `Graphs` backend. See the constructor
[`LightAutomaton(::Int)`](@ref).
[`GraphAutomaton(::Int)`](@ref).

###  Fields

- `G` -- graph of type `GT` whose vertices determine the states
- `Σ` -- dictionary mapping the edges to their labels
"""
mutable struct LightAutomaton{GT, ET} <: AbstractAutomaton
mutable struct GraphAutomaton{GT, ET} <: AbstractAutomaton
    G::GT
    Σ::Dict{ET, Dict{Int, Int}}
    next_id::Int

@@ -22,9 +22,9 @@

end

"""
    LightAutomaton(n::Int)
    GraphAutomaton(n::Int)

Creates a `LightAutomaton` with `n` states 1, 2, ..., `n`.
Creates a `GraphAutomaton` with `n` states 1, 2, ..., `n`.
The automaton is initialized without any transitions,
use [`add_transition!`](@ref) to add transitions.


@@ -34,95 +34,95 @@

from 1 to 2 with label 2 and transition from 2 to 1 with label 3, do the
following:
```jldoctest
julia> a = LightAutomaton(2);
julia> a = GraphAutomaton(2);

julia> add_transition!(a, 1, 1, 1) # Add a self-loop of label 1 for state 1
HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 1, 1)
HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 1, 1)

julia> add_transition!(a, 2, 2, 1) # Add a self-loop of label 1 for state 2
HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 2, 2)
HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 2, 2)

julia> add_transition!(a, 1, 2, 2) # Add a transition from state 1 to state 2 with label 2
HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 2, 3)
HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 2, 3)

julia> add_transition!(a, 2, 1, 3) # Add a transition from state 2 to state 1 with label 3
HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 1, 4)
HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 1, 4)
```
"""
function LightAutomaton(n::Int)
function GraphAutomaton(n::Int)
    G = Graphs.DiGraph(n)
    Σ = Dict{Graphs.edgetype(G), Dict{Int, Int}}()
    LightAutomaton(G, Σ, 0, 0)
    GraphAutomaton(G, Σ, 0, 0)
end

struct LightTransition{ET} <: AbstractTransition
struct GraphTransition{ET} <: AbstractTransition
    edge::ET
    id::Int
end

"""
    struct LightTransitionIterator{GT, ET, VT}
        automaton::LightAutomaton{GT, ET}
    struct GraphTransitionIterator{GT, ET, VT}
        automaton::GraphAutomaton{GT, ET}
        edge_iterator::VT
    end

Iterate over the transitions of `automaton` by iterating over the edges `edge`
of `edge_iterator` and the ids `id` of `automaton.Σ[edge]` for each one. Its
elements are `LightTransition(edge, id)`.
elements are `GraphTransition(edge, id)`.
"""
struct LightTransitionIterator{GT, ET, VT}
    automaton::LightAutomaton{GT, ET}
struct GraphTransitionIterator{GT, ET, VT}
    automaton::GraphAutomaton{GT, ET}
    edge_iterator::VT
end
Base.eltype(::LightTransitionIterator{GT, ET}) where {GT, ET} = LightTransition{ET}
function Base.length(tit::LightTransitionIterator)
Base.eltype(::GraphTransitionIterator{GT, ET}) where {GT, ET} = GraphTransition{ET}
function Base.length(tit::GraphTransitionIterator)
    eit = tit.edge_iterator
    # empty iterator must be handled separately (see #29)
    return isempty(eit) ? 0 : sum(edge -> length(tit.automaton.Σ[edge]), eit)
end
function new_id_iterate(tit::LightTransitionIterator, edge, edge_state, ids, ::Nothing)
function new_id_iterate(tit::GraphTransitionIterator, edge, edge_state, ids, ::Nothing)
    return new_edge_iterate(tit, iterate(tit.edge_iterator, edge_state))
end
function new_id_iterate(tit::LightTransitionIterator, edge, edge_state, ids, id_item_state)
function new_id_iterate(tit::GraphTransitionIterator, edge, edge_state, ids, id_item_state)
    idσ, id_state = id_item_state
    return LightTransition(edge, idσ[1]), (edge, edge_state, ids, id_state)
    return GraphTransition(edge, idσ[1]), (edge, edge_state, ids, id_state)
end
new_edge_iterate(::LightTransitionIterator, ::Nothing) = nothing
function new_edge_iterate(tit::LightTransitionIterator, edge_item_state)
new_edge_iterate(::GraphTransitionIterator, ::Nothing) = nothing
function new_edge_iterate(tit::GraphTransitionIterator, edge_item_state)
    edge, edge_state = edge_item_state
    ids = tit.automaton.Σ[edge]
    return new_id_iterate(tit, edge, edge_state, ids, iterate(ids))
end
function Base.iterate(tit::LightTransitionIterator)
function Base.iterate(tit::GraphTransitionIterator)
    return new_edge_iterate(tit, iterate(tit.edge_iterator))
end
function Base.iterate(tit::LightTransitionIterator, edge_id_state)
function Base.iterate(tit::GraphTransitionIterator, edge_id_state)
    edge, edge_state, ids, id_state = edge_id_state
    return new_id_iterate(tit, edge, edge_state, ids, iterate(ids, id_state))
end

states(A::LightAutomaton) = Graphs.vertices(A.G)
nstates(A::LightAutomaton) = Graphs.nv(A.G)
states(A::GraphAutomaton) = Graphs.vertices(A.G)
nstates(A::GraphAutomaton) = Graphs.nv(A.G)

transitiontype(A::LightAutomaton) = LightTransition{Graphs.edgetype(A.G)}
function transitions(A::LightAutomaton)
    return LightTransitionIterator(A, Graphs.edges(A.G))
transitiontype(A::GraphAutomaton) = GraphTransition{Graphs.edgetype(A.G)}
function transitions(A::GraphAutomaton)
    return GraphTransitionIterator(A, Graphs.edges(A.G))
end
ntransitions(A::LightAutomaton) = A.nt
ntransitions(A::GraphAutomaton) = A.nt

function edge_object(A::LightAutomaton, q, r)
function edge_object(A::GraphAutomaton, q, r)
    @assert 1 <= q <= nstates(A)
    @assert 1 <= r <= nstates(A)
    return Graphs.Edge(q, r)
end

# return transitions with source `q` and target `r`
function transitions(A::LightAutomaton{GT, ET}, q, r) where {GT, ET}
function transitions(A::GraphAutomaton{GT, ET}, q, r) where {GT, ET}
    e = edge_object(A, q, r)
    LightTransitionIterator(A, Fill(e, Graphs.has_edge(A.G, e) ? 1 : 0))
    GraphTransitionIterator(A, Fill(e, Graphs.has_edge(A.G, e) ? 1 : 0))
end

function add_transition!(A::LightAutomaton, q, r, σ)
function add_transition!(A::GraphAutomaton, q, r, σ)
    edge = edge_object(A, q, r)
    A.next_id += 1
    A.nt += 1

@@ -137,15 +137,15 @@

        Graphs.add_edge!(A.G, edge)
        A.Σ[edge] = ids
    end
    return LightTransition(edge, id)
    return GraphTransition(edge, id)
end
function has_transition(A::LightAutomaton, q, r)
function has_transition(A::GraphAutomaton, q, r)
    return Graphs.has_edge(A.G, edge_object(A, q, r))
end
function has_transition(A::LightAutomaton, t::LightTransition)
function has_transition(A::GraphAutomaton, t::GraphTransition)
    return Graphs.has_edge(A.G, t.edge) && haskey(A.Σ[t.edge], t.id)
end
function rem_transition!(A::LightAutomaton, t::LightTransition)
function rem_transition!(A::GraphAutomaton, t::GraphTransition)
    ids = A.Σ[t.edge]
    delete!(ids, t.id)
    A.nt -= 1

@@ -155,7 +155,7 @@

    end
end

function rem_state!(A::LightAutomaton, st)
function rem_state!(A::GraphAutomaton, st)
    # We need to collect as we delete them in the loop
    for t in collect(in_transitions(A, st))
        rem_transition!(A, t)

@@ -166,62 +166,62 @@

    return Graphs.rem_vertex!(A.G, st)
end

function add_state!(A::LightAutomaton)
function add_state!(A::GraphAutomaton)
    return Graphs.add_vertex!(A.G)
end

source(::LightAutomaton, t::LightTransition) = t.edge.src
event(A::LightAutomaton, t::LightTransition) = A.Σ[t.edge][t.id]
target(::LightAutomaton, t::LightTransition) = t.edge.dst
source(::GraphAutomaton, t::GraphTransition) = t.edge.src
event(A::GraphAutomaton, t::GraphTransition) = A.Σ[t.edge][t.id]
target(::GraphAutomaton, t::GraphTransition) = t.edge.dst

function in_transitions(A::LightAutomaton{GT, ET}, s) where {GT, ET}
function in_transitions(A::GraphAutomaton{GT, ET}, s) where {GT, ET}
    f(src) = edge_object(A, src, s)
    inneigh = Graphs.inneighbors(A.G, s)
    edges = ReadonlyMappedArray{ET, 1, typeof(inneigh), typeof(f)}(f, inneigh)
    LightTransitionIterator(A, edges)
    GraphTransitionIterator(A, edges)
end
function out_transitions(A::LightAutomaton{GT, ET}, s) where {GT, ET}
function out_transitions(A::GraphAutomaton{GT, ET}, s) where {GT, ET}
    f(dst) = edge_object(A, s, dst)
    outneigh = Graphs.outneighbors(A.G, s)
    edges = ReadonlyMappedArray{ET, 1, typeof(outneigh), typeof(f)}(f, outneigh)
    LightTransitionIterator(A, edges)
    GraphTransitionIterator(A, edges)
end

struct LightStateProperty{GT, ET, T} <: StateProperty{T}
    automaton::LightAutomaton{GT, ET}
struct GraphStateProperty{GT, ET, T} <: StateProperty{T}
    automaton::GraphAutomaton{GT, ET}
    value::Vector{T}
end
function state_property_type(::Type{LightAutomaton{GT, ET}},
function state_property_type(::Type{GraphAutomaton{GT, ET}},
                             T::Type) where {GT, ET}
    return LightStateProperty{GT, ET, T}
    return GraphStateProperty{GT, ET, T}
end
function state_property(automaton::LightAutomaton, T::Type)
    return LightStateProperty(automaton, Vector{T}(undef, nstates(automaton)))
function state_property(automaton::GraphAutomaton, T::Type)
    return GraphStateProperty(automaton, Vector{T}(undef, nstates(automaton)))
end
function Base.getindex(p::LightStateProperty,
function Base.getindex(p::GraphStateProperty,
                       s::Int)
    p.value[s]
end
function Base.setindex!(p::LightStateProperty, value,
function Base.setindex!(p::GraphStateProperty, value,
                        s::Int)
    p.value[s] = value
end

struct LightTransitionProperty{GT, ET, T} <: TransitionProperty{T}
    automaton::LightAutomaton{GT, ET}
struct GraphTransitionProperty{GT, ET, T} <: TransitionProperty{T}
    automaton::GraphAutomaton{GT, ET}
    value::Vector{T}
end
function transition_property_type(::Type{LightAutomaton{GT, ET}}, T::Type) where {GT, ET}
    return LightTransitionProperty{GT, ET, T}
function transition_property_type(::Type{GraphAutomaton{GT, ET}}, T::Type) where {GT, ET}
    return GraphTransitionProperty{GT, ET, T}
end
function transition_property(automaton::LightAutomaton, T::Type)
    return LightTransitionProperty(automaton, Vector{T}(undef, automaton.next_id))
function transition_property(automaton::GraphAutomaton, T::Type)
    return GraphTransitionProperty(automaton, Vector{T}(undef, automaton.next_id))
end
function Base.getindex(p::LightTransitionProperty,
                       t::LightTransition)
function Base.getindex(p::GraphTransitionProperty,
                       t::GraphTransition)
    p.value[t.id]
end
function Base.setindex!(p::LightTransitionProperty, value,
                        t::LightTransition)
function Base.setindex!(p::GraphTransitionProperty, value,
                        t::GraphTransition)
    p.value[t.id] = value
end

@@ -55,7 +55,7 @@

    HybridSystem(G, modes, rm, sw, Dict{Symbol, Any}(kws))
end
function discreteswitchedsystem(A::AbstractVector{<:AbstractMatrix}, S::AbstractVector; kws...)
    G = LightAutomaton(length(A))
    G = GraphAutomaton(length(A))
    for σ in 1:length(A)
        for σnext in 1:length(A)
            add_transition!(G, σ, σnext, σ)

@@ -1,4 +1,4 @@

1		-	export LightAutomaton, AbstractAutomaton, OneStateAutomaton
	1	+	export GraphAutomaton, AbstractAutomaton, OneStateAutomaton
2	2		export states, modes, nstates, nmodes, transitions, ntransitions
3	3		export source, event, symbol, target, transitiontype
4	4		export add_transition!, has_transition, rem_transition!, rem_state!, add_state!

Files		•	•	•	Coverage
src	316	300	0	16	94.94%
Project Totals (7 files)	316	300	0	16	94.94%

View CI Build Download

No yaml found.

Create your codecov.yml to customize your Codecov experience

Read the docs

Interact now

The inner-most circle is the entire project, moving away from the center are folders then, finally, a single file. The size and color of each slice is representing the number of statements and the coverage, respectively.

SVG

The top section represents the entire project. Proceeding with folders and finally individual files. The size and color of each slice is representing the number of statements and the coverage, respectively.

SVG

Each block represents a single file in the project. The size and color of each block is represented by the number of statements and the coverage, respectively.

SVG

Learn more about the coverage sunburst graph

34	34		from 1 to 2 with label 2 and transition from 2 to 1 with label 3, do the
35	35		following:
36	36		```jldoctest
37		-	julia> a = LightAutomaton(2);
	37	+	julia> a = GraphAutomaton(2);
38	38
39	39		julia> add_transition!(a, 1, 1, 1) # Add a self-loop of label 1 for state 1
40		-	HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 1, 1)
	40	+	HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 1, 1)
41	41
42	42		julia> add_transition!(a, 2, 2, 1) # Add a self-loop of label 1 for state 2
43		-	HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 2, 2)
	43	+	HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 2, 2)
44	44
45	45		julia> add_transition!(a, 1, 2, 2) # Add a transition from state 1 to state 2 with label 2
46		-	HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 2, 3)
	46	+	HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 1 => 2, 3)
47	47
48	48		julia> add_transition!(a, 2, 1, 3) # Add a transition from state 2 to state 1 with label 3
49		-	HybridSystems.LightTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 1, 4)
	49	+	HybridSystems.GraphTransition{Graphs.SimpleGraphs.SimpleEdge{Int64}}(Edge 2 => 1, 4)
50	50		```
51	51		"""
52		-	function LightAutomaton(n::Int)
	52	+	function GraphAutomaton(n::Int)
53	53		G = Graphs.DiGraph(n)
54	54		Σ = Dict{Graphs.edgetype(G), Dict{Int, Int}}()
55		-	LightAutomaton(G, Σ, 0, 0)
	55	+	GraphAutomaton(G, Σ, 0, 0)
56	56		end
57	57
58		-	struct LightTransition{ET} <: AbstractTransition
	58	+	struct GraphTransition{ET} <: AbstractTransition
59	59		edge::ET
60	60		id::Int
61	61		end
62	62
63	63		"""
64		-	struct LightTransitionIterator{GT, ET, VT}
65		-	automaton::LightAutomaton{GT, ET}
	64	+	struct GraphTransitionIterator{GT, ET, VT}
	65	+	automaton::GraphAutomaton{GT, ET}
66	66		edge_iterator::VT
67	67		end
68	68
69	69		Iterate over the transitions of `automaton` by iterating over the edges `edge`
70	70		of `edge_iterator` and the ids `id` of `automaton.Σ[edge]` for each one. Its
71		-	elements are `LightTransition(edge, id)`.
	71	+	elements are `GraphTransition(edge, id)`.
72	72		"""
73		-	struct LightTransitionIterator{GT, ET, VT}
74		-	automaton::LightAutomaton{GT, ET}
	73	+	struct GraphTransitionIterator{GT, ET, VT}
	74	+	automaton::GraphAutomaton{GT, ET}
75	75		edge_iterator::VT
76	76		end
77		-	Base.eltype(::LightTransitionIterator{GT, ET}) where {GT, ET} = LightTransition{ET}
78		-	function Base.length(tit::LightTransitionIterator)
	77	+	Base.eltype(::GraphTransitionIterator{GT, ET}) where {GT, ET} = GraphTransition{ET}
	78	+	function Base.length(tit::GraphTransitionIterator)
79	79		eit = tit.edge_iterator
80	80		# empty iterator must be handled separately (see #29)
81	81		return isempty(eit) ? 0 : sum(edge -> length(tit.automaton.Σ[edge]), eit)
82	82		end
83		-	function new_id_iterate(tit::LightTransitionIterator, edge, edge_state, ids, ::Nothing)
	83	+	function new_id_iterate(tit::GraphTransitionIterator, edge, edge_state, ids, ::Nothing)
84	84		return new_edge_iterate(tit, iterate(tit.edge_iterator, edge_state))
85	85		end
86		-	function new_id_iterate(tit::LightTransitionIterator, edge, edge_state, ids, id_item_state)
	86	+	function new_id_iterate(tit::GraphTransitionIterator, edge, edge_state, ids, id_item_state)
87	87		idσ, id_state = id_item_state
88		-	return LightTransition(edge, idσ[1]), (edge, edge_state, ids, id_state)
	88	+	return GraphTransition(edge, idσ[1]), (edge, edge_state, ids, id_state)
89	89		end
90		-	new_edge_iterate(::LightTransitionIterator, ::Nothing) = nothing
91		-	function new_edge_iterate(tit::LightTransitionIterator, edge_item_state)
	90	+	new_edge_iterate(::GraphTransitionIterator, ::Nothing) = nothing
	91	+	function new_edge_iterate(tit::GraphTransitionIterator, edge_item_state)
92	92		edge, edge_state = edge_item_state
93	93		ids = tit.automaton.Σ[edge]
94	94		return new_id_iterate(tit, edge, edge_state, ids, iterate(ids))
95	95		end
96		-	function Base.iterate(tit::LightTransitionIterator)
	96	+	function Base.iterate(tit::GraphTransitionIterator)
97	97		return new_edge_iterate(tit, iterate(tit.edge_iterator))
98	98		end
99		-	function Base.iterate(tit::LightTransitionIterator, edge_id_state)
	99	+	function Base.iterate(tit::GraphTransitionIterator, edge_id_state)
100	100		edge, edge_state, ids, id_state = edge_id_state
101	101		return new_id_iterate(tit, edge, edge_state, ids, iterate(ids, id_state))
102	102		end
103	103
104		-	states(A::LightAutomaton) = Graphs.vertices(A.G)
105		-	nstates(A::LightAutomaton) = Graphs.nv(A.G)
	104	+	states(A::GraphAutomaton) = Graphs.vertices(A.G)
	105	+	nstates(A::GraphAutomaton) = Graphs.nv(A.G)
106	106
107		-	transitiontype(A::LightAutomaton) = LightTransition{Graphs.edgetype(A.G)}
108		-	function transitions(A::LightAutomaton)
109		-	return LightTransitionIterator(A, Graphs.edges(A.G))
	107	+	transitiontype(A::GraphAutomaton) = GraphTransition{Graphs.edgetype(A.G)}
	108	+	function transitions(A::GraphAutomaton)
	109	+	return GraphTransitionIterator(A, Graphs.edges(A.G))
110	110		end
111		-	ntransitions(A::LightAutomaton) = A.nt
	111	+	ntransitions(A::GraphAutomaton) = A.nt
112	112
113		-	function edge_object(A::LightAutomaton, q, r)
	113	+	function edge_object(A::GraphAutomaton, q, r)
114	114		@assert 1 <= q <= nstates(A)
115	115		@assert 1 <= r <= nstates(A)
116	116		return Graphs.Edge(q, r)
117	117		end
118	118
119	119		# return transitions with source `q` and target `r`
120		-	function transitions(A::LightAutomaton{GT, ET}, q, r) where {GT, ET}
	120	+	function transitions(A::GraphAutomaton{GT, ET}, q, r) where {GT, ET}
121	121		e = edge_object(A, q, r)
122		-	LightTransitionIterator(A, Fill(e, Graphs.has_edge(A.G, e) ? 1 : 0))
	122	+	GraphTransitionIterator(A, Fill(e, Graphs.has_edge(A.G, e) ? 1 : 0))
123	123		end
124	124
125		-	function add_transition!(A::LightAutomaton, q, r, σ)
	125	+	function add_transition!(A::GraphAutomaton, q, r, σ)
126	126		edge = edge_object(A, q, r)
127	127		A.next_id += 1
128	128		A.nt += 1

137	137		Graphs.add_edge!(A.G, edge)
138	138		A.Σ[edge] = ids
139	139		end
140		-	return LightTransition(edge, id)
	140	+	return GraphTransition(edge, id)
141	141		end
142		-	function has_transition(A::LightAutomaton, q, r)
	142	+	function has_transition(A::GraphAutomaton, q, r)
143	143		return Graphs.has_edge(A.G, edge_object(A, q, r))
144	144		end
145		-	function has_transition(A::LightAutomaton, t::LightTransition)
	145	+	function has_transition(A::GraphAutomaton, t::GraphTransition)
146	146		return Graphs.has_edge(A.G, t.edge) && haskey(A.Σ[t.edge], t.id)
147	147		end
148		-	function rem_transition!(A::LightAutomaton, t::LightTransition)
	148	+	function rem_transition!(A::GraphAutomaton, t::GraphTransition)
149	149		ids = A.Σ[t.edge]
150	150		delete!(ids, t.id)
151	151		A.nt -= 1

155	155		end
156	156		end
157	157
158		-	function rem_state!(A::LightAutomaton, st)
	158	+	function rem_state!(A::GraphAutomaton, st)
159	159		# We need to collect as we delete them in the loop
160	160		for t in collect(in_transitions(A, st))
161	161		rem_transition!(A, t)

166	166		return Graphs.rem_vertex!(A.G, st)
167	167		end
168	168
169		-	function add_state!(A::LightAutomaton)
	169	+	function add_state!(A::GraphAutomaton)
170	170		return Graphs.add_vertex!(A.G)
171	171		end
172	172
173		-	source(::LightAutomaton, t::LightTransition) = t.edge.src
174		-	event(A::LightAutomaton, t::LightTransition) = A.Σ[t.edge][t.id]
175		-	target(::LightAutomaton, t::LightTransition) = t.edge.dst
	173	+	source(::GraphAutomaton, t::GraphTransition) = t.edge.src
	174	+	event(A::GraphAutomaton, t::GraphTransition) = A.Σ[t.edge][t.id]
	175	+	target(::GraphAutomaton, t::GraphTransition) = t.edge.dst
176	176
177		-	function in_transitions(A::LightAutomaton{GT, ET}, s) where {GT, ET}
	177	+	function in_transitions(A::GraphAutomaton{GT, ET}, s) where {GT, ET}
178	178		f(src) = edge_object(A, src, s)
179	179		inneigh = Graphs.inneighbors(A.G, s)
180	180		edges = ReadonlyMappedArray{ET, 1, typeof(inneigh), typeof(f)}(f, inneigh)
181		-	LightTransitionIterator(A, edges)
	181	+	GraphTransitionIterator(A, edges)
182	182		end
183		-	function out_transitions(A::LightAutomaton{GT, ET}, s) where {GT, ET}
	183	+	function out_transitions(A::GraphAutomaton{GT, ET}, s) where {GT, ET}
184	184		f(dst) = edge_object(A, s, dst)
185	185		outneigh = Graphs.outneighbors(A.G, s)
186	186		edges = ReadonlyMappedArray{ET, 1, typeof(outneigh), typeof(f)}(f, outneigh)
187		-	LightTransitionIterator(A, edges)
	187	+	GraphTransitionIterator(A, edges)
188	188		end
189	189
190		-	struct LightStateProperty{GT, ET, T} <: StateProperty{T}
191		-	automaton::LightAutomaton{GT, ET}
	190	+	struct GraphStateProperty{GT, ET, T} <: StateProperty{T}
	191	+	automaton::GraphAutomaton{GT, ET}
192	192		value::Vector{T}
193	193		end
194		-	function state_property_type(::Type{LightAutomaton{GT, ET}},
	194	+	function state_property_type(::Type{GraphAutomaton{GT, ET}},
195	195		T::Type) where {GT, ET}
196		-	return LightStateProperty{GT, ET, T}
	196	+	return GraphStateProperty{GT, ET, T}
197	197		end
198		-	function state_property(automaton::LightAutomaton, T::Type)
199		-	return LightStateProperty(automaton, Vector{T}(undef, nstates(automaton)))
	198	+	function state_property(automaton::GraphAutomaton, T::Type)
	199	+	return GraphStateProperty(automaton, Vector{T}(undef, nstates(automaton)))
200	200		end
201		-	function Base.getindex(p::LightStateProperty,
	201	+	function Base.getindex(p::GraphStateProperty,
202	202		s::Int)
203	203		p.value[s]
204	204		end
205		-	function Base.setindex!(p::LightStateProperty, value,
	205	+	function Base.setindex!(p::GraphStateProperty, value,
206	206		s::Int)
207	207		p.value[s] = value
208	208		end
209	209
210		-	struct LightTransitionProperty{GT, ET, T} <: TransitionProperty{T}
211		-	automaton::LightAutomaton{GT, ET}
	210	+	struct GraphTransitionProperty{GT, ET, T} <: TransitionProperty{T}
	211	+	automaton::GraphAutomaton{GT, ET}
212	212		value::Vector{T}
213	213		end
214		-	function transition_property_type(::Type{LightAutomaton{GT, ET}}, T::Type) where {GT, ET}
215		-	return LightTransitionProperty{GT, ET, T}
	214	+	function transition_property_type(::Type{GraphAutomaton{GT, ET}}, T::Type) where {GT, ET}
	215	+	return GraphTransitionProperty{GT, ET, T}
216	216		end
217		-	function transition_property(automaton::LightAutomaton, T::Type)
218		-	return LightTransitionProperty(automaton, Vector{T}(undef, automaton.next_id))
	217	+	function transition_property(automaton::GraphAutomaton, T::Type)
	218	+	return GraphTransitionProperty(automaton, Vector{T}(undef, automaton.next_id))
219	219		end
220		-	function Base.getindex(p::LightTransitionProperty,
221		-	t::LightTransition)
	220	+	function Base.getindex(p::GraphTransitionProperty,
	221	+	t::GraphTransition)
222	222		p.value[t.id]
223	223		end
224		-	function Base.setindex!(p::LightTransitionProperty, value,
225		-	t::LightTransition)
	224	+	function Base.setindex!(p::GraphTransitionProperty, value,
	225	+	t::GraphTransition)
226	226		p.value[t.id] = value
227	227		end

55	55		HybridSystem(G, modes, rm, sw, Dict{Symbol, Any}(kws))
56	56		end
57	57		function discreteswitchedsystem(A::AbstractVector{<:AbstractMatrix}, S::AbstractVector; kws...)
58		-	G = LightAutomaton(length(A))
	58	+	G = GraphAutomaton(length(A))
59	59		for σ in 1:length(A)
60	60		for σnext in 1:length(A)
61	61		add_transition!(G, σ, σnext, σ)

4	4		using MappedArrays: ReadonlyMappedArray
5	5
6	6		"""
7		-	LightAutomaton{GT, ET} <: AbstractAutomaton
	7	+	GraphAutomaton{GT, ET} <: AbstractAutomaton
8	8
9	9		A hybrid automaton that uses the `Graphs` backend. See the constructor
10		-	[`LightAutomaton(::Int)`](@ref).
	10	+	[`GraphAutomaton(::Int)`](@ref).
11	11
12	12		### Fields
13	13
14	14		- `G` -- graph of type `GT` whose vertices determine the states
15	15		- `Σ` -- dictionary mapping the edges to their labels
16	16		"""
17		-	mutable struct LightAutomaton{GT, ET} <: AbstractAutomaton
	17	+	mutable struct GraphAutomaton{GT, ET} <: AbstractAutomaton
18	18		G::GT
19	19		Σ::Dict{ET, Dict{Int, Int}}
20	20		next_id::Int

22	22		end
23	23
24	24		"""
25		-	LightAutomaton(n::Int)
	25	+	GraphAutomaton(n::Int)
26	26
27		-	Creates a `LightAutomaton` with `n` states 1, 2, ..., `n`.
	27	+	Creates a `GraphAutomaton` with `n` states 1, 2, ..., `n`.
28	28		The automaton is initialized without any transitions,
29	29		use [`add_transition!`](@ref) to add transitions.
30	30

Navigation	Overlay
`t` Navigate files	`h` Toggle hits
`y` Change url to tip of branch	`m` Toggle misses
`b / v` Jump to prev/next hit line	`p` Toggle partial
`z / x` Jump to prev/next missed or partial line	`1..9` Toggle flags
`shift + o` Open current page in GitHub	`a` Toggle all on
`/ or ?` Show keyboard shortcuts dialog	`c` Toggle context lines or commits

Updating our web app

No yaml found.