tree_automata

Module bottom_up

Source

Re-exports§

pub use search::*;
pub use width_search::*;

Modules§

macros
search
width_search

Structs§

Automaton
Tree automaton.
CloneConfigurations
Configuration
Tree automaton configuration.
Transifions

Type Aliases§

Configurations
States