We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
IfLifting
1 parent 6367ed3 commit f4783b0Copy full SHA for f4783b0
src/systems/if_lifting.jl
@@ -410,6 +410,11 @@ If lifting converts (nested) if statements into a series of continuous events +
410
Lifting proceeds through the following process:
411
* rewrite comparisons to be of the form eqn [op] 0; subtract the RHS from the LHS
412
* replace comparisons with generated parameters; for each comparison eqn [op] 0, generate an event (dependent on op) that sets the parameter
413
+
414
+!!! warn
415
416
+ This is an experimental simplification pass. It may have bugs. Please open issues with
417
+ MWEs for any bugs encountered while using this.
418
"""
419
function IfLifting(sys::System)
420
if !is_time_dependent(sys)
0 commit comments