Struct wautomata::canonical::Edge

source · [−]

pub struct Edge<EdgeId = IdentityWithInt, NodeId = IdentityWithInt, Kind = EdgeKindless> where
    EdgeId: IdentityInterface,
    NodeId: IdentityInterface,
    Kind: EdgeKindInterface,  {
    pub in_node: NodeId,
    pub out_node: NodeId,
    pub kind: Kind,
    pub id: EdgeId,
}

Expand description

Canonical implementation of edge.

Fields

in_node: NodeId

Input node.

out_node: NodeId

Output node.

kind: Kind

Kind of the edge.

id: EdgeId

Identifier.

Trait Implementations

source

impl<EdgeId, NodeId, Kind> Clone for Edge<EdgeId, NodeId, Kind> where
 EdgeId: Clone + IdentityInterface,
 NodeId: Clone + IdentityInterface,
 Kind: Clone + EdgeKindInterface,

source

fn clone(&self) -> Edge<EdgeId, NodeId, Kind>

Returns a copy of the value. Read more

1.0.0 · source

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

source

impl<EdgeId, NodeId, Kind> Debug for Edge<EdgeId, NodeId, Kind> where
 EdgeId: Debug + IdentityInterface,
 NodeId: Debug + IdentityInterface,
 Kind: Debug + EdgeKindInterface,

source

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

Formats the value using the given formatter. Read more

source

impl<EdgeId, NodeId, Kind> HasId for Edge<EdgeId, NodeId, Kind> where
 EdgeId: IdentityInterface,
 NodeId: IdentityInterface,
 Kind: EdgeKindInterface,

type Id = EdgeId

Id of the node.

source

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

Get id.

source

impl<EdgeId, NodeId, Kind> PartialEq<Edge<EdgeId, NodeId, Kind>> for Edge<EdgeId, NodeId, Kind> where
 EdgeId: IdentityInterface,
 NodeId: IdentityInterface,
 Kind: EdgeKindInterface,

source

fn eq(&self, other: &Edge<EdgeId, NodeId, 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<EdgeId, NodeId, Kind> Copy for Edge<EdgeId, NodeId, Kind> where
 EdgeId: Copy + IdentityInterface,
 NodeId: Copy + IdentityInterface,
 Kind: Copy + EdgeKindInterface,

source

impl<EdgeId, NodeId, Kind> EdgeBasicInterface for Edge<EdgeId, NodeId, Kind> where
 EdgeId: IdentityInterface,
 NodeId: IdentityInterface,
 Kind: EdgeKindInterface,

source

impl<EdgeId, NodeId, Kind> Eq for Edge<EdgeId, NodeId, Kind> where
 EdgeId: IdentityInterface,
 NodeId: IdentityInterface,
 Kind: EdgeKindInterface,

Auto Trait Implementations

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

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

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

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

impl<EdgeId, NodeId, Kind> UnwindSafe for Edge<EdgeId, NodeId, 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> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

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::Edge

Fields

Trait Implementations

impl<EdgeId, NodeId, Kind> Clone for Edge<EdgeId, NodeId, Kind> where EdgeId: Clone + IdentityInterface, NodeId: Clone + IdentityInterface, Kind: Clone + EdgeKindInterface,

fn clone(&self) -> Edge<EdgeId, NodeId, Kind>

fn clone_from(&mut self, source: &Self)

impl<EdgeId, NodeId, Kind> Debug for Edge<EdgeId, NodeId, Kind> where EdgeId: Debug + IdentityInterface, NodeId: Debug + IdentityInterface, Kind: Debug + EdgeKindInterface,

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

impl<EdgeId, NodeId, Kind> HasId for Edge<EdgeId, NodeId, Kind> where EdgeId: IdentityInterface, NodeId: IdentityInterface, Kind: EdgeKindInterface,

type Id = EdgeId

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

impl<EdgeId, NodeId, Kind> PartialEq<Edge<EdgeId, NodeId, Kind>> for Edge<EdgeId, NodeId, Kind> where EdgeId: IdentityInterface, NodeId: IdentityInterface, Kind: EdgeKindInterface,

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

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

impl<EdgeId, NodeId, Kind> Copy for Edge<EdgeId, NodeId, Kind> where EdgeId: Copy + IdentityInterface, NodeId: Copy + IdentityInterface, Kind: Copy + EdgeKindInterface,

impl<EdgeId, NodeId, Kind> EdgeBasicInterface for Edge<EdgeId, NodeId, Kind> where EdgeId: IdentityInterface, NodeId: IdentityInterface, Kind: EdgeKindInterface,

impl<EdgeId, NodeId, Kind> Eq for Edge<EdgeId, NodeId, Kind> where EdgeId: IdentityInterface, NodeId: IdentityInterface, Kind: EdgeKindInterface,

Auto Trait Implementations

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

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

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

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

impl<EdgeId, NodeId, Kind> UnwindSafe for Edge<EdgeId, NodeId, 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> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

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<EdgeId, NodeId, Kind> Clone for Edge<EdgeId, NodeId, Kind> where
EdgeId: Clone + IdentityInterface,
NodeId: Clone + IdentityInterface,
Kind: Clone + EdgeKindInterface,

impl<EdgeId, NodeId, Kind> Debug for Edge<EdgeId, NodeId, Kind> where
EdgeId: Debug + IdentityInterface,
NodeId: Debug + IdentityInterface,
Kind: Debug + EdgeKindInterface,

impl<EdgeId, NodeId, Kind> HasId for Edge<EdgeId, NodeId, Kind> where
EdgeId: IdentityInterface,
NodeId: IdentityInterface,
Kind: EdgeKindInterface,

impl<EdgeId, NodeId, Kind> PartialEq<Edge<EdgeId, NodeId, Kind>> for Edge<EdgeId, NodeId, Kind> where
EdgeId: IdentityInterface,
NodeId: IdentityInterface,
Kind: EdgeKindInterface,

impl<EdgeId, NodeId, Kind> Copy for Edge<EdgeId, NodeId, Kind> where
EdgeId: Copy + IdentityInterface,
NodeId: Copy + IdentityInterface,
Kind: Copy + EdgeKindInterface,

impl<EdgeId, NodeId, Kind> EdgeBasicInterface for Edge<EdgeId, NodeId, Kind> where
EdgeId: IdentityInterface,
NodeId: IdentityInterface,
Kind: EdgeKindInterface,

impl<EdgeId, NodeId, Kind> Eq for Edge<EdgeId, NodeId, Kind> where
EdgeId: IdentityInterface,
NodeId: IdentityInterface,
Kind: EdgeKindInterface,

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

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

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

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

impl<EdgeId, NodeId, Kind> UnwindSafe for Edge<EdgeId, NodeId, 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> ToOwned for T where
T: Clone,

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>,