lyra.engine.numerical package

Submodules

Interval Analysis

Author:Caterina Urban
class lyra.engine.numerical.interval_analysis.BackwardIntervalAnalysis[source]

Bases: lyra.engine.runner.Runner

interpreter()[source]
state()[source]
class lyra.engine.numerical.interval_analysis.ForwardIntervalAnalysis[source]

Bases: lyra.engine.runner.Runner

interpreter()[source]
state()[source]

Sign Analysis

Author:Jérôme Dohrau and Caterina Urban
class lyra.engine.numerical.sign_analysis.BackwardSignAnalysis[source]

Bases: lyra.engine.runner.Runner

interpreter()[source]
state()[source]
class lyra.engine.numerical.sign_analysis.ForwardSignAnalysis[source]

Bases: lyra.engine.runner.Runner

interpreter()[source]
state()[source]