tree-automata-0.1.1
- tree-automata 0.1.1
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- timothee-haudebourg
- Dependencies
- crossbeam-channel ^0.3.9 normal
  
  terms ^0.1.2 normal
- Versions
- 28.89% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

☰

Module alternating

Structs
Type Definitions

?

[−][src]Module tree_automata::alternating

Structs

Alternating tree automaton.

Type Definitions

Clause	The empty clause is False.
Conjuction	The empty conjunction is True.