tree_automata/
language.rs

1use crate::{Symbol, State};
2use crate::bottom_up::Configuration;
3
4pub trait Language<F> {
5    // ...
6}
7
8pub trait ConfigurationIterator<'a, F: Symbol, Q: State> : Iterator<Item = Configuration<F, Q>> {
9    // ...
10}