dionysos-dev / Dionysos.jl
Files Coverage
src/Abstraction/abstraction.jl 100.00%
src/Abstraction/automaton.jl 93.33%
src/Abstraction/controller.jl 92.13%
src/Abstraction/controlsystem.jl 98.33%
src/Abstraction/domain.jl 82.46%
src/Abstraction/grid.jl 100.00%
src/Abstraction/plotting.jl 0.00%
src/Abstraction/polyhedron.jl 100.00%
src/Abstraction/rectangle.jl 33.33%
src/Abstraction/sorted_vector_set.jl 90.00%
src/Abstraction/symbolicmodel.jl 77.69%
src/BDD/BDD.jl 0.00%
src/BDD/BitSet.jl 0.00%
src/BDD/inttupleset.jl 0.00%
src/bemporad_morari.jl 91.87%
src/branch_and_bound.jl 96.84%
src/optimal_control.jl 91.18%
src/plotting.jl 0.00%
src/q_learning.jl 93.90%
Project Totals (19 files) 63.88%
Loading