Crate wautomata

Source
Expand description

Implementation of automata.

§Module :: wautomata

experimental rust-status docs.rs discord

Implementation of automata.

§Sample

use wautomata::*;

fn main()
{
}

§To add to your project

cargo add wautomata

§Try out from the repository

git clone https://github.com/Wandalen/wTools
cd wTools
cd sample/rust/wautomata_trivial
cargo run

Modules§

abs
Abstract layer.
algo
Algorithms.
canonical
Canonical representation.
dependency
Namespace with dependencies.
exposed
Exposed namespace of the module.
prelude
Prelude to use essentials: use my_module::prelude::*.

Structs§

EdgeKindless
No kind for edges.
IdentityWithInt
Identify an instance by integer.
IdentityWithName
Identify an instance by name.
IdentityWithPointer
Identify an instance by its location in memory.
NodeCell
Node in RefCell in Rc.
NodeKindless
No kind for nodes.

Traits§

EdgeBasicInterface
Edge of a graph.
EdgeKindInterface
Kind of a edge.
GraphEdgesEnumerableInterface
Graph edges of which is possible to enumerate.
GraphEdgesExtendableInterface
Graph interface which allow to add more edges.
GraphEdgesKindGetterInterface
Graph nodes of which has a kind.
GraphEdgesNominalInterface
Graph which know how to iterate neighbourhood of a node and capable to convert id of a node into a node.
GraphNodesEnumerableInterface
Graph nodes of which is possible to enumerate.
GraphNodesExtendableInterface
Graph interface which allow to add more nodes. Know nothing about edges.
GraphNodesKindGetterInterface
Graph nodes of which has a kind.
GraphNodesNominalInterface
Graph which know how to iterate neighbourhood of a node and capable to convert id of a node into a node.
HasId
Instance has an id.
IdentityGenerableInterface
Interface to identify an instance of somthing with ability to increase it to generate a new one.
IdentityInterface
Interface to identify an instance of somthing, for exampel a node.
NodeBasicInterface
Node of a graph.
NodeFactoryInterface
Interface of a type responsible for constructing nodes.
NodeKindInterface
Kind of a node.