tree-automata 0.1.2

Term Rewriting Systems
Documentation 
1
2
3
4
5
6
7
8
9
10

use crate::{Symbol, State};
use crate::bottom_up::Configuration;

pub trait Language<F> {
    // ...
}

pub trait ConfigurationIterator<'a, F: Symbol, Q: State> : Iterator<Item = Configuration<F, Q>> {
    // ...
}