Skip to content

Commit

Permalink
better blocks in docs/make.jl for quick commenting
Browse files Browse the repository at this point in the history
  • Loading branch information
@schillic
schillic committed Feb 7, 2024
1 parent 26f6928 commit b8c0c58
Show file tree
Hide file tree
Showing 2 changed files with 83 additions and 41 deletions.
123 changes: 83 additions & 40 deletions docs/make.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ end
# ========================

SET_REPRESENTATIONS = ["Set representations" => [
#
#"Introduction" => "tutorials/set_representations/introduction.md",
#"Hyperrectangular sets" => "tutorials/set_representations/hyperrectangles.md",
"Zonotopic sets" => "tutorials/set_representations/zonotopes.md",
Expand All @@ -30,83 +31,125 @@ SET_REPRESENTATIONS = ["Set representations" => [
#"Other set operations" => "tutorials/set_representations/other_set_operations.md",
#"LazySets type hierarchy" => "tutorials/set_representations/lazysets_hierarchy.md",
#"Numerical tolerance" => "tutorials/set_representations/tolerance.md",
"Metric notions" => "tutorials/set_representations/distances.md"]]
"Metric notions" => "tutorials/set_representations/distances.md"
#
]]

LINEAR_METHODS = ["Linear methods" => ["Quickstart" => "tutorials/linear_methods/introduction.md",
LINEAR_METHODS = ["Linear methods" => [
#
"Introduction" => "tutorials/linear_methods/introduction.md",
"Discrete time reachability" => "tutorials/linear_methods/discrete_time.md",
"Dense time reachability" => "tutorials/linear_methods/dense_time.md",
#"Propagating zonotopes" => "tutorials/linear_methods/zonotopes_setprop.md",
#"Propagating hyperrectangles" => "tutorials/linear_methods/hyperrectangles_setprop.md",
#"Propagating support functions" => "tutorials/linear_methods/supfunc_setprop.md",
#"Helicopter model" => "generated_examples/Helicopter.md",
#"Helicopter model" => "tutorials/linear_methods/helicopter.md",
"Structural model" => "generated_examples/ISS.md"]]
"Structural model" => "generated_examples/ISS.md"
#
]]

UNCERTAIN_INPUTS = ["Modeling uncertain inputs" => [
#
#"Introduction" => "tutorials/uncertain_inputs/introduction.md",
"Building model" => "generated_examples/Building.md",
"Operational amplifier" => "generated_examples/OpAmp.md",
"Transmission line" => "generated_examples/TransmissionLine.md"]]

TAYLOR_METHODS = ["Taylor methods" => ["Introduction" => "tutorials/taylor_methods/introduction.md",
"Taylor model reach-sets" => "tutorials/taylor_methods/taylor_model_reachsets.md",
"Domain splitting" => "tutorials/taylor_methods/domain_splitting.md",
"Common gotchas" => "tutorials/taylor_methods/gotchas.md",
"Lotka-Volterra" => "generated_examples/LotkaVolterra.md",
"Van der Pol oscillator" => "generated_examples/VanDerPol.md",
"Lorenz system" => "generated_examples/Lorenz.md"]]
"Transmission line" => "generated_examples/TransmissionLine.md"
#
]]

TAYLOR_METHODS = ["Taylor methods" => [
#
"Introduction" => "tutorials/taylor_methods/introduction.md",
#"Taylor model reach-sets" => "tutorials/taylor_methods/taylor_model_reachsets.md",
"Domain splitting" => "tutorials/taylor_methods/domain_splitting.md",
"Common gotchas" => "tutorials/taylor_methods/gotchas.md",
"Lotka-Volterra" => "generated_examples/LotkaVolterra.md",
"Van der Pol oscillator" => "generated_examples/VanDerPol.md",
"Lorenz system" => "generated_examples/Lorenz.md"
#
]]

UNCERTAIN_PARAMETERS = ["Modeling uncertain parameters" => ["Introduction" => "tutorials/parametric_reachability/introduction.md"]]
# UNCERTAIN_PARAMETERS = ["Modeling uncertain parameters" => [
# #
# #"Introduction" => "tutorials/parametric_reachability/introduction.md"
# #
# ]]

HYBRID_SYSTEMS = ["Hybrid systems" => [
#
#"Introduction" => "tutorials/hybrid_systems/introduction.md",
#"Thermostat model" => "tutorials/hybrid_systems/thermostat.md",
"Square wave oscillator" => "generated_examples/SquareWaveOscillator.md"
#"Thermostat model" => "tutorials/hybrid_systems/thermostat.md"
#
]]

CLOCKED_SYSTEMS = ["Clocked systems" => [
#
#"Introduction" => "tutorials/clocked_systems/introduction.md",
"Platoon" => "generated_examples/Platoon.md",
"Electro-mechanic break" => "generated_examples/EMBrake.md"]]

BACKWARDS_REACHABILITY = ["Backwards reachability" => ["Introduction" => "tutorials/backwards_reachability/introduction.md",
"Projectile motion" => "generated_examples/Projectile.md"]]

LINEAR_PDE = ["Linear PDEs" => ["Introduction" => "tutorials/linear_pde/introduction.md",
"Clamped beam" => "tutorials/linear_pde/clamped.md",
"Heat transfer" => "tutorials/linear_pde/heat_transfer.md",
"Concrete heat of hydration" => "tutorials/linear_pde/concrete.md"]]
# "Clamped beam" => "examples/Clamped.md",
# "Heat transfer" => "examples/Heat1D.md",
# "Concrete heat of hydration" => "examples/Concrete.md"

LINEAR_SOLVERS = ["A20" => "man/algorithms/A20.md",
"Electro-mechanic break" => "generated_examples/EMBrake.md"
#
]]

BACKWARDS_REACHABILITY = ["Backwards reachability" => [
#
"Introduction" => "tutorials/backwards_reachability/introduction.md",
"Projectile motion" => "generated_examples/Projectile.md"
#
]]

# LINEAR_PDE = ["Linear PDEs" => [
# #
# "Introduction" => "tutorials/linear_pde/introduction.md",
# "Clamped beam" => "tutorials/linear_pde/clamped.md",
# "Heat transfer" => "tutorials/linear_pde/heat_transfer.md",
# "Concrete heat of hydration" => "tutorials/linear_pde/concrete.md"
# #
# ]]

LINEAR_SOLVERS = [
#
"A20" => "man/algorithms/A20.md",
"ASB07" => "man/algorithms/ASB07.md",
"BFFPSV18" => "man/algorithms/BFFPSV18.md",
"BOX" => "man/algorithms/BOX.md",
"GLGM06" => "man/algorithms/GLGM06.md",
"INT" => "man/algorithms/INT.md",
"LGG09" => "man/algorithms/LGG09.md",
"ORBIT" => "man/algorithms/ORBIT.md",
"VREP" => "man/algorithms/VREP.md"]
"VREP" => "man/algorithms/VREP.md"
#
]

LINEAR_SOLVERS_API = ["A20" => "lib/algorithms/A20.md",
LINEAR_SOLVERS_API = [
#
"A20" => "lib/algorithms/A20.md",
"ASB07" => "lib/algorithms/ASB07.md",
"BFFPSV18" => "lib/algorithms/BFFPSV18.md",
"BOX" => "lib/algorithms/BOX.md",
"GLGM06" => "lib/algorithms/GLGM06.md",
"INT" => "lib/algorithms/INT.md",
"LGG09" => "lib/algorithms/LGG09.md",
"ORBIT" => "lib/algorithms/ORBIT.md",
"VREP" => "lib/algorithms/VREP.md"]

NONLINEAR_SOLVERS = ["CARLIN" => "man/algorithms/CARLIN.md",
"QINT" => "man/algorithms/QINT.md",
"TMJets" => "man/algorithms/TMJets.md"]

NONLINEAR_SOLVERS_API = ["CARLIN" => "lib/algorithms/CARLIN.md",
"QINT" => "lib/algorithms/QINT.md",
"TMJets" => "lib/algorithms/TMJets.md"]
"VREP" => "lib/algorithms/VREP.md"
#
]

NONLINEAR_SOLVERS = [
#
"CARLIN" => "man/algorithms/CARLIN.md",
"QINT" => "man/algorithms/QINT.md",
"TMJets" => "man/algorithms/TMJets.md"
#
]

NONLINEAR_SOLVERS_API = [
#
"CARLIN" => "lib/algorithms/CARLIN.md",
"QINT" => "lib/algorithms/QINT.md",
"TMJets" => "lib/algorithms/TMJets.md"
#
]

# ========================
# Docs contents
Expand Down
1 change: 0 additions & 1 deletion docs/src/tutorials/linear_methods/helicopter.md
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@

# Helicopter model

0 comments on commit b8c0c58

Please sign in to comment.