Enum AlignmentType 

#[repr(u8)]
pub enum AlignmentType {
    Synchronous = 0,
    LogMove = 1,
    ModelMove = 2,
}

Alignment move type for trace-model alignment.

Variants

Synchronous = 0

Both log and model advance (matching).

LogMove = 1

Extra activity in log (not in model).

ModelMove = 2

Missing activity in log (expected by model).

Implementations

impl AlignmentType

pub fn cost(&self) -> u32

Get the cost of this alignment move.

Trait Implementations

impl Archive for AlignmentType

type Archived = ArchivedAlignmentType

The archived representation of this type.

type Resolver = AlignmentTypeResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

unsafe fn resolve( &self, pos: usize, resolver: <Self as Archive>::Resolver, out: *mut <Self as Archive>::Archived, )

Creates the archived version of this value at the given position and writes it to the given output.

impl Clone for AlignmentType

fn clone(&self) -> AlignmentType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AlignmentType

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

Formats the value using the given formatter.

impl Default for AlignmentType

fn default() -> AlignmentType

Returns the “default value” for a type.

impl<__D: Fallible + ?Sized> Deserialize<AlignmentType, __D> for Archived<AlignmentType>

fn deserialize( &self, deserializer: &mut __D, ) -> Result<AlignmentType, __D::Error>

Deserializes using the given deserializer

impl Hash for AlignmentType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AlignmentType

fn eq(&self, other: &AlignmentType) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<__S: Fallible + ?Sized> Serialize<__S> for AlignmentType

fn serialize( &self, serializer: &mut __S, ) -> Result<<Self as Archive>::Resolver, __S::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl Copy for AlignmentType

impl Eq for AlignmentType

impl StructuralPartialEq for AlignmentType