feat: subset variables appropriately in clock inference

Author: AayushSabharwal

src/systems/clock_inference.jl

@@ -199,8 +199,8 @@ function split_system(ci::ClockInference{S}) where {S}
 
     # breaks the system up into a continous and 0 or more discrete systems
     tss = similar(cid_to_eq, S)
-    for (id, ieqs) in enumerate(cid_to_eq)
-        ts_i = system_subset(ts, ieqs)
+    for (id, (ieqs, ivars)) in enumerate(zip(cid_to_eq, cid_to_var))
+        ts_i = system_subset(ts, ieqs, ivars)
         if id != continuous_id
             ts_i = shift_discrete_system(ts_i)
             @set! ts_i.structure.only_discrete = true

src/systems/systemstructure.jl

@@ -219,11 +219,11 @@ mutable struct TearingState{T <: AbstractSystem} <: AbstractTearingState{T}
 end
 
 TransformationState(sys::AbstractSystem) = TearingState(sys)
-function system_subset(ts::TearingState, ieqs::Vector{Int})
+function system_subset(ts::TearingState, ieqs::Vector{Int}, ivars::Vector{Int})
     eqs = equations(ts)
     @set! ts.sys.eqs = eqs[ieqs]
     @set! ts.original_eqs = ts.original_eqs[ieqs]
-    @set! ts.structure = system_subset(ts.structure, ieqs)
+    @set! ts.structure = system_subset(ts.structure, ieqs, ivars)
     if all(eq -> eq.rhs isa StateMachineOperator, get_eqs(ts.sys))
         names = Symbol[]
         for eq in get_eqs(ts.sys)
@@ -240,22 +240,35 @@ function system_subset(ts::TearingState, ieqs::Vector{Int})
     else
         @set! ts.statemachines = eltype(ts.statemachines)[]
     end
+    @set! ts.fullvars = ts.fullvars[ivars]
     ts
 end
 
-function system_subset(structure::SystemStructure, ieqs::Vector{Int})
-    @unpack graph, eq_to_diff = structure
+function system_subset(structure::SystemStructure, ieqs::Vector{Int}, ivars::Vector{Int})
+    @unpack graph = structure
     fadj = Vector{Int}[]
     eq_to_diff = DiffGraph(length(ieqs))
+    var_to_diff = DiffGraph(length(ivars))
+
     ne = 0
+    old_to_new_var = zeros(Int, ndsts(graph))
+    for (i, iv) in enumerate(ivars)
+        old_to_new_var[iv] = i
+    end
+    for (i, iv) in enumerate(ivars)
+        structure.var_to_diff[iv] === nothing && continue
+        var_to_diff[i] = old_to_new_var[structure.var_to_diff[iv]]
+    end
     for (j, eq_i) in enumerate(ieqs)
-        ivars = copy(graph.fadjlist[eq_i])
-        ne += length(ivars)
-        push!(fadj, ivars)
+        var_adj = [old_to_new_var[i] for i in graph.fadjlist[eq_i]]
+        @assert all(!iszero, var_adj)
+        ne += length(var_adj)
+        push!(fadj, var_adj)
         eq_to_diff[j] = structure.eq_to_diff[eq_i]
     end
-    @set! structure.graph = complete(BipartiteGraph(ne, fadj, ndsts(graph)))
+    @set! structure.graph = complete(BipartiteGraph(ne, fadj, length(ivars)))
     @set! structure.eq_to_diff = eq_to_diff
+    @set! structure.var_to_diff = complete(var_to_diff)
     structure
 end