Skip to content

Commit 30c2abd

Browse files
Merge pull request #21 from JuliaComputing/as/fix-clock-inference
fix: minor fixes for clock inference
2 parents c84f85d + f3be532 commit 30c2abd

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

lib/ModelingToolkitTearing/src/clock_inference/clock_inference.jl

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -199,6 +199,10 @@ function infer_clocks!(ci::ClockInference)
199199
unshifted = args[1]
200200
add_edge!(inference_graph, (
201201
ClockVertex.Variable(i), ClockVertex.Variable(var_to_idx[unshifted])))
202+
td = get_time_domain(unshifted)
203+
if td isa TimeDomain
204+
add_edge!(inference_graph, (ClockVertex.Variable(i), ClockVertex.Clock(td)))
205+
end
202206
end
203207
_ => nothing
204208
end

lib/ModelingToolkitTearing/src/clock_inference/interface.jl

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -34,10 +34,6 @@ function mark_discrete(state::StateSelection.TransformationState)
3434
unimplemented()
3535
end
3636

37-
function postprocess_clock_inference(ci::ClockInference{TearingState}, state::TearingState)
38-
substitute_sample_time(ci, state)
39-
end
40-
4137
function error_sample_time(eq)
4238
error("$eq\ncontains `SampleTime` but it is not an Inferred discrete equation.")
4339
end

0 commit comments

Comments
 (0)