[][src]Struct fst::raw::Output

pub struct Output(_);

An output is a value that is associated with a key in a finite state transducer.

Note that outputs must satisfy an algebra. Namely, it must have an additive identity and the following binary operations defined: prefix, concatenation and subtraction. prefix and concatenation are commutative while subtraction is not. subtraction is only defined on pairs of operands where the first operand is greater than or equal to the second operand.

Currently, output values must be u64. However, in theory, an output value can be anything that satisfies the above algebra. Future versions of this crate may make outputs generic on this algebra.

Methods

impl Output[src]

pub fn new(v: u64) -> Output[src]

Create a new output from a u64.

pub fn zero() -> Output[src]

Create a zero output.

pub fn value(self) -> u64[src]

Retrieve the value inside this output.

pub fn is_zero(self) -> bool[src]

Returns true if this is a zero output.

pub fn prefix(self, o: Output) -> Output[src]

Returns the prefix of this output and o.

pub fn cat(self, o: Output) -> Output[src]

Returns the concatenation of this output and o.

pub fn sub(self, o: Output) -> Output[src]

Returns the subtraction of o from this output.

This function panics if self > o.

Trait Implementations

impl Clone for Output[src]

impl Copy for Output[src]

impl Debug for Output[src]

impl Eq for Output[src]

impl Hash for Output[src]

impl Ord for Output[src]

impl PartialEq<Output> for Output[src]

impl PartialOrd<Output> for Output[src]

impl StructuralEq for Output[src]

impl StructuralPartialEq for Output[src]

Auto Trait Implementations

impl RefUnwindSafe for Output

impl Send for Output

impl Sync for Output

impl Unpin for Output

impl UnwindSafe for Output

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.