Struct wautomata::canonical::Node

source · [−]

pub struct Node<NodeId = IdentityWithInt, EdgeId = IdentityWithInt, Kind = NodeKindless> where
    NodeId: IdentityInterface,
    EdgeId: IdentityInterface,
    Kind: NodeKindInterface,  {
    pub out_nodes: IndexSet<NodeId, RandomState>,
    pub out_edges: IndexSet<EdgeId, RandomState>,
    pub kind: Kind,
    pub id: NodeId,
}

Expand description

Canonical implementation of node.

Fields

out_nodes: IndexSet<NodeId, RandomState>

Input node.

out_edges: IndexSet<EdgeId, RandomState>

Input node.

kind: Kind

Kind of the node.

id: NodeId

Identifier.

Implementations

source

impl<NodeId, EdgeId, Kind> Node<NodeId, EdgeId, Kind> where
 NodeId: IdentityInterface,
 EdgeId: IdentityInterface,
 Kind: NodeKindInterface,

source

pub fn make_with_id<Name>(id: Name) -> Node<NodeId, EdgeId, Kind> where
Name: Into<<Node<NodeId, EdgeId, Kind> as HasId>::Id>,

Construct an instance of the node with id.

Trait Implementations

source

impl<NodeId, EdgeId, Kind> Debug for Node<NodeId, EdgeId, Kind> where
 NodeId: IdentityInterface,
 EdgeId: IdentityInterface,
 Kind: NodeKindInterface,

source

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more

source

impl<NodeId, EdgeId, Kind> HasId for Node<NodeId, EdgeId, Kind> where
 NodeId: IdentityInterface,
 EdgeId: IdentityInterface,
 Kind: NodeKindInterface,

type Id = NodeId

Id of the node.

source

fn id(&self) -> <Node<NodeId, EdgeId, Kind> as HasId>::Id

Get id.

source

impl<NodeId, EdgeId, Kind, IntoId> Make1<IntoId> for Node<NodeId, EdgeId, Kind> where
 NodeId: IdentityInterface,
 EdgeId: IdentityInterface,
 Kind: NodeKindInterface,
 IntoId: Into<<Node<NodeId, EdgeId, Kind> as HasId>::Id>,

source

fn make_1(id: IntoId) -> Node<NodeId, EdgeId, Kind>

Constructor without arguments.

source

fn make(arg: Arg) -> Self

Constructor without arguments.

source

impl<NodeId, EdgeId, Kind> PartialEq<Node<NodeId, EdgeId, Kind>> for Node<NodeId, EdgeId, Kind> where
 NodeId: IdentityInterface,
 EdgeId: IdentityInterface,
 Kind: NodeKindInterface,

source

fn eq(&self, other: &Node<NodeId, EdgeId, Kind>) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

1.0.0 · source

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

source

impl<NodeId, EdgeId, Kind> Eq for Node<NodeId, EdgeId, Kind> where
 NodeId: IdentityInterface,
 EdgeId: IdentityInterface,
 Kind: NodeKindInterface,

source

impl<NodeId, EdgeId, Kind> NodeBasicInterface for Node<NodeId, EdgeId, Kind> where
 NodeId: IdentityInterface,
 EdgeId: IdentityInterface,
 Kind: NodeKindInterface,

Auto Trait Implementations

impl<NodeId, EdgeId, Kind> RefUnwindSafe for Node<NodeId, EdgeId, Kind> where
 EdgeId: RefUnwindSafe,
 Kind: RefUnwindSafe,
 NodeId: RefUnwindSafe,

impl<NodeId, EdgeId, Kind> Send for Node<NodeId, EdgeId, Kind> where
 EdgeId: Send,
 Kind: Send,
 NodeId: Send,

impl<NodeId, EdgeId, Kind> Sync for Node<NodeId, EdgeId, Kind> where
 EdgeId: Sync,
 Kind: Sync,
 NodeId: Sync,

impl<NodeId, EdgeId, Kind> Unpin for Node<NodeId, EdgeId, Kind> where
 EdgeId: Unpin,
 Kind: Unpin,
 NodeId: Unpin,

impl<NodeId, EdgeId, Kind> UnwindSafe for Node<NodeId, EdgeId, Kind> where
 EdgeId: UnwindSafe,
 Kind: UnwindSafe,
 NodeId: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

source

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoResult<T> for T

type Err = Infallible

fn into_result(self) -> Result<T, <T as IntoResult<T>>::Err>

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

source

impl<Target, Original> VectorizedInto<Target> for Original where
Target: VectorizedFrom<Original>,

source

fn vectorized_into(self) -> Target

Performs the conversion.

Struct wautomata::canonical::Node

Fields

Implementations

impl<NodeId, EdgeId, Kind> Node<NodeId, EdgeId, Kind> where NodeId: IdentityInterface, EdgeId: IdentityInterface, Kind: NodeKindInterface,

pub fn make_with_id<Name>(id: Name) -> Node<NodeId, EdgeId, Kind> where Name: Into<<Node<NodeId, EdgeId, Kind> as HasId>::Id>,

Trait Implementations

impl<NodeId, EdgeId, Kind> Debug for Node<NodeId, EdgeId, Kind> where NodeId: IdentityInterface, EdgeId: IdentityInterface, Kind: NodeKindInterface,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

impl<NodeId, EdgeId, Kind> HasId for Node<NodeId, EdgeId, Kind> where NodeId: IdentityInterface, EdgeId: IdentityInterface, Kind: NodeKindInterface,

type Id = NodeId

fn id(&self) -> <Node<NodeId, EdgeId, Kind> as HasId>::Id

impl<NodeId, EdgeId, Kind, IntoId> Make1<IntoId> for Node<NodeId, EdgeId, Kind> where NodeId: IdentityInterface, EdgeId: IdentityInterface, Kind: NodeKindInterface, IntoId: Into<<Node<NodeId, EdgeId, Kind> as HasId>::Id>,

fn make_1(id: IntoId) -> Node<NodeId, EdgeId, Kind>

fn make(arg: Arg) -> Self

impl<NodeId, EdgeId, Kind> PartialEq<Node<NodeId, EdgeId, Kind>> for Node<NodeId, EdgeId, Kind> where NodeId: IdentityInterface, EdgeId: IdentityInterface, Kind: NodeKindInterface,

fn eq(&self, other: &Node<NodeId, EdgeId, Kind>) -> bool

fn ne(&self, other: &Rhs) -> bool

impl<NodeId, EdgeId, Kind> Eq for Node<NodeId, EdgeId, Kind> where NodeId: IdentityInterface, EdgeId: IdentityInterface, Kind: NodeKindInterface,

impl<NodeId, EdgeId, Kind> NodeBasicInterface for Node<NodeId, EdgeId, Kind> where NodeId: IdentityInterface, EdgeId: IdentityInterface, Kind: NodeKindInterface,

Auto Trait Implementations

impl<NodeId, EdgeId, Kind> RefUnwindSafe for Node<NodeId, EdgeId, Kind> where EdgeId: RefUnwindSafe, Kind: RefUnwindSafe, NodeId: RefUnwindSafe,

impl<NodeId, EdgeId, Kind> Send for Node<NodeId, EdgeId, Kind> where EdgeId: Send, Kind: Send, NodeId: Send,

impl<NodeId, EdgeId, Kind> Sync for Node<NodeId, EdgeId, Kind> where EdgeId: Sync, Kind: Sync, NodeId: Sync,

impl<NodeId, EdgeId, Kind> Unpin for Node<NodeId, EdgeId, Kind> where EdgeId: Unpin, Kind: Unpin, NodeId: Unpin,

impl<NodeId, EdgeId, Kind> UnwindSafe for Node<NodeId, EdgeId, Kind> where EdgeId: UnwindSafe, Kind: UnwindSafe, NodeId: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<Q, K> Equivalent<K> for Q where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> IntoResult<T> for T

type Err = Infallible

fn into_result(self) -> Result<T, <T as IntoResult<T>>::Err>

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Target, Original> VectorizedInto<Target> for Original where Target: VectorizedFrom<Original>,

fn vectorized_into(self) -> Target

impl<NodeId, EdgeId, Kind> Node<NodeId, EdgeId, Kind> where
NodeId: IdentityInterface,
EdgeId: IdentityInterface,
Kind: NodeKindInterface,

pub fn make_with_id<Name>(id: Name) -> Node<NodeId, EdgeId, Kind> where
Name: Into<<Node<NodeId, EdgeId, Kind> as HasId>::Id>,

impl<NodeId, EdgeId, Kind> Debug for Node<NodeId, EdgeId, Kind> where
NodeId: IdentityInterface,
EdgeId: IdentityInterface,
Kind: NodeKindInterface,

impl<NodeId, EdgeId, Kind> HasId for Node<NodeId, EdgeId, Kind> where
NodeId: IdentityInterface,
EdgeId: IdentityInterface,
Kind: NodeKindInterface,

impl<NodeId, EdgeId, Kind, IntoId> Make1<IntoId> for Node<NodeId, EdgeId, Kind> where
NodeId: IdentityInterface,
EdgeId: IdentityInterface,
Kind: NodeKindInterface,
IntoId: Into<<Node<NodeId, EdgeId, Kind> as HasId>::Id>,

impl<NodeId, EdgeId, Kind> PartialEq<Node<NodeId, EdgeId, Kind>> for Node<NodeId, EdgeId, Kind> where
NodeId: IdentityInterface,
EdgeId: IdentityInterface,
Kind: NodeKindInterface,

impl<NodeId, EdgeId, Kind> Eq for Node<NodeId, EdgeId, Kind> where
NodeId: IdentityInterface,
EdgeId: IdentityInterface,
Kind: NodeKindInterface,

impl<NodeId, EdgeId, Kind> NodeBasicInterface for Node<NodeId, EdgeId, Kind> where
NodeId: IdentityInterface,
EdgeId: IdentityInterface,
Kind: NodeKindInterface,

impl<NodeId, EdgeId, Kind> RefUnwindSafe for Node<NodeId, EdgeId, Kind> where
EdgeId: RefUnwindSafe,
Kind: RefUnwindSafe,
NodeId: RefUnwindSafe,

impl<NodeId, EdgeId, Kind> Send for Node<NodeId, EdgeId, Kind> where
EdgeId: Send,
Kind: Send,
NodeId: Send,

impl<NodeId, EdgeId, Kind> Sync for Node<NodeId, EdgeId, Kind> where
EdgeId: Sync,
Kind: Sync,
NodeId: Sync,

impl<NodeId, EdgeId, Kind> Unpin for Node<NodeId, EdgeId, Kind> where
EdgeId: Unpin,
Kind: Unpin,
NodeId: Unpin,

impl<NodeId, EdgeId, Kind> UnwindSafe for Node<NodeId, EdgeId, Kind> where
EdgeId: UnwindSafe,
Kind: UnwindSafe,
NodeId: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

impl<Target, Original> VectorizedInto<Target> for Original where
Target: VectorizedFrom<Original>,