dionysos-dev / Dionysos.jl
Files Coverage
src/Abstraction/abstraction.jl 100.00%
src/Abstraction/automaton.jl 93.33%
src/Abstraction/controller.jl 91.89%
src/Abstraction/controlsystem.jl 98.15%
src/Abstraction/domain.jl 82.00%
src/Abstraction/grid.jl 100.00%
src/Abstraction/plotting.jl 0.00%
src/Abstraction/polyhedron.jl 100.00%
src/Abstraction/rectangle.jl 25.00%
src/Abstraction/sorted_vector_set.jl 88.46%
src/Abstraction/symbolicmodel.jl 78.57%
src/BDD/BDD.jl 0.00%
src/BDD/BitSet.jl 0.00%
src/BDD/inttupleset.jl 0.00%
src/bemporad_morari.jl 91.88%
src/branch_and_bound.jl 96.64%
src/optimal_control.jl 90.32%
src/plotting.jl 0.00%
src/q_learning.jl 93.30%
Project Totals (19 files) 64.35%
Loading