solver_states -> unknown_states

Author: YingboMa

src/structural_transformation/codegen.jl

@@ -298,7 +298,7 @@ function build_torn_function(sys;
                        rhss)
 
     states = Any[fullvars[i] for i in states_idxs]
-    @set! sys.solver_states = states
+    @set! sys.unknown_states = states
     syms = map(Symbol, states)
 
     pre = get_postprocess_fbody(sys)
@@ -403,7 +403,7 @@ function build_observed_function(state, ts, var_eq_matching, var_sccs,
 
     fullvars = state.fullvars
     s = state.structure
-    solver_states = fullvars[is_solver_state_idxs]
+    unknown_states = fullvars[is_solver_state_idxs]
     algvars = fullvars[.!is_solver_state_idxs]
 
     required_algvars = Set(intersect(algvars, vars))
@@ -490,7 +490,7 @@ function build_observed_function(state, ts, var_eq_matching, var_sccs,
     cpre = get_preprocess_constants([obs[1:maxidx];
                                      isscalar ? ts[1] : MakeArray(ts, output_type)])
     pre2 = x -> pre(cpre(x))
-    ex = Code.toexpr(Func([DestructuredArgs(solver_states, inbounds = !checkbounds)
+    ex = Code.toexpr(Func([DestructuredArgs(unknown_states, inbounds = !checkbounds)
                            DestructuredArgs(parameters(sys), inbounds = !checkbounds)
                            independent_variables(sys)],
                           [],

src/systems/abstractsystem.jl

@@ -214,7 +214,7 @@ for prop in [:eqs
              :substitutions
              :metadata
              :discrete_subsystems
-             :solver_states]
+             :unknown_states]
     fname1 = Symbol(:get_, prop)
     fname2 = Symbol(:has_, prop)
     @eval begin
@@ -581,16 +581,21 @@ end
 
 SymbolicIndexingInterface.is_indep_sym(sys::AbstractSystem, sym) = isequal(sym, get_iv(sys))
 
-function solver_states(sys::AbstractSystem)
+"""
+$(SIGNATURES)
+
+Return a list of actual states needed to be solved by solvers.
+"""
+function unknown_states(sys::AbstractSystem)
     sts = states(sys)
-    if has_solver_states(sys)
-        sts = something(get_solver_states(sys), sts)
+    if has_unknown_states(sys)
+        sts = something(get_unknown_states(sys), sts)
     end
     return sts
 end
 
 function SymbolicIndexingInterface.state_sym_to_index(sys::AbstractSystem, sym)
-    findfirst(isequal(sym), solver_states(sys))
+    findfirst(isequal(sym), unknown_states(sys))
 end
 function SymbolicIndexingInterface.is_state_sym(sys::AbstractSystem, sym)
     !isnothing(SymbolicIndexingInterface.state_sym_to_index(sys, sym))

src/systems/diffeqs/odesystem.jl

@@ -131,16 +131,17 @@ struct ODESystem <: AbstractODESystem
     """
     discrete_subsystems::Any
     """
-    solver_states: a list of actual solver states. Only used for ODAEProblem.
+    unknown_states: a list of actual states needed to be solved by solvers. Only
+    used for ODAEProblem.
     """
-    solver_states::Union{Nothing, Vector{Any}}
+    unknown_states::Union{Nothing, Vector{Any}}
 
     function ODESystem(tag, deqs, iv, dvs, ps, tspan, var_to_name, ctrls, observed, tgrad,
                        jac, ctrl_jac, Wfact, Wfact_t, name, systems, defaults,
                        torn_matching, connector_type, preface, cevents,
                        devents, metadata = nothing, tearing_state = nothing,
                        substitutions = nothing, complete = false,
-                       discrete_subsystems = nothing, solver_states = nothing;
+                       discrete_subsystems = nothing, unknown_states = nothing;
                        checks::Union{Bool, Int} = true)
         if checks == true || (checks & CheckComponents) > 0
             check_variables(dvs, iv)
@@ -154,7 +155,7 @@ struct ODESystem <: AbstractODESystem
         new(tag, deqs, iv, dvs, ps, tspan, var_to_name, ctrls, observed, tgrad, jac,
             ctrl_jac, Wfact, Wfact_t, name, systems, defaults, torn_matching,
             connector_type, preface, cevents, devents, metadata, tearing_state,
-            substitutions, complete, discrete_subsystems, solver_states)
+            substitutions, complete, discrete_subsystems, unknown_states)
     end
 end