Move transition and state structs from component.rs to their own files

Ecdar / Reveaal

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

5 stars 7 forks source link

Closed seblund closed 1 year ago

seblund commented 1 year ago

State and Transition do not belong in component.rs as they really only have anything to do with TransitionSystems