You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Mentioned by @Aariq in levisc8/ipmr_esa#3 - I think this would make a more intuitive UI. The rationale is that state_start/state_end are part of the symbolic kernel defintion anyway (i.e. they're the "z',z" in P(z',z) = ...), so they should be attached to define_kernel(), rather than a separate function.
This probably means dropping define_impl() and moving int_rule to define_domains(), or vice versa (depending on which function name feels more intuitive).
Mentioned by @Aariq in levisc8/ipmr_esa#3 - I think this would make a more intuitive UI. The rationale is that
state_start/state_end
are part of the symbolic kernel defintion anyway (i.e. they're the "z',z" in P(z',z) = ...), so they should be attached todefine_kernel()
, rather than a separate function.This probably means dropping
define_impl()
and movingint_rule
todefine_domains()
, or vice versa (depending on which function name feels more intuitive).The text was updated successfully, but these errors were encountered: