Complete Jani Model
Classes
JaniModel()
JaniModel
Class representing a complete Jani Model, containing all necessary information to generate a plain Jani file.