verse.automaton.hybrid_io_automaton

Classes

HybridIoAutomaton([id, input_variables, ...])