JuliaReach / SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia
https://juliareach.github.io/SpaceExParser.jl/
MIT License
7 stars 1 forks source link

Leave defaults for post-processing #43

Open mforets opened 5 years ago

mforets commented 5 years ago

readsxmodel(model, raw_dict=true) should not add default values for controlled and dynamics specifiers in the variables' models; this should be done as a post-processing step. This way one is able to load the "true" model as a hybrid system, perhaps ignoring some useless fields (such as fields and positions).