1 2 3 4 5 6 7 8 9 10
use crate::data::machine::{State, Transition}; use std::collections::HashSet; #[derive(Debug, Clone)] pub struct UnnormalizedMachine { /// The first state must be the start state. pub states: Vec<State>, pub transitions: HashSet<Transition>, }