From 687595ff18ddc7d8bbe35d934fa922dbd05974b6 Mon Sep 17 00:00:00 2001
From: Mahmoud Bentriou <mahmoud.bentriou@centralesupelec.fr>
Date: Wed, 17 Mar 2021 15:43:35 +0100
Subject: [PATCH] Tuple => SVector

---
 automata/abc_euclidean_distance_automaton.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/automata/abc_euclidean_distance_automaton.jl b/automata/abc_euclidean_distance_automaton.jl
index f687c87..0ac48ce 100644
--- a/automata/abc_euclidean_distance_automaton.jl
+++ b/automata/abc_euclidean_distance_automaton.jl
@@ -281,11 +281,11 @@ function create_abc_euclidean_distance_automaton(m::ContinuousTimeModel, timelin
         # Defined below 
         #struct $(edge_name(:l1, :l1, 1)) <: $(edge_type) transitions::Union{Nothing,Vector{Symbol}} end
         @everywhere $(check_constraints(:l1, :l1, 1))(S_time::Float64, S_values::Vector{Float64}, x::Vector{Int}, p::Vector{Float64}, ϵ::Float64) =
-        (tml = $(Tuple(timeline));
+        (tml = $(SVector{length(timeline)}(timeline));
          tml_idx = tml[convert(Int, S_values[$(to_idx(:idx))])];
          S_values[$(to_idx(:t))] >= tml_idx)
         @everywhere $(update_state!(:l1, :l1, 1))(S_time::Float64, S_values::Vector{Float64}, x::Vector{Int}, p::Vector{Float64}, ϵ::Float64) =
-        (y_obs = $(Tuple(observations));
+        (y_obs = $(SVector{length(observations)}(observations));
          y_obs_idx = y_obs[convert(Int, S_values[$(to_idx(:idx))])];
          S_values[$(to_idx(:d))] += (S_values[$(to_idx(:n))]-y_obs_idx)^2;
          S_values[$(to_idx(:idx))] += 1.0;
-- 
GitLab