Enum stack_graphs::partial::Cyclicity

pub enum Cyclicity {
    Free,
    StrengthensPrecondition,
    StrengthensPostcondition,
}

Variants

Free

The path can be freely concatenated to itself.

StrengthensPrecondition

Concatenating the path to itself strengthens the precondition—symbols are eliminated from the stack.

StrengthensPostcondition

Concatenating the path to itself strengthens the postcondition—symbols are introduced on the stack.

Trait Implementations

impl<O: Into<EnumSet<Cyclicity>>> BitAnd<O> for Cyclicity

type Output = EnumSet<Cyclicity>

The resulting type after applying the & operator.

fn bitand(self, other: O) -> Self::Output

Performs the & operation.

impl<O: Into<EnumSet<Cyclicity>>> BitOr<O> for Cyclicity

type Output = EnumSet<Cyclicity>

The resulting type after applying the | operator.

fn bitor(self, other: O) -> Self::Output

Performs the | operation.

impl<O: Into<EnumSet<Cyclicity>>> BitXor<O> for Cyclicity

type Output = EnumSet<Cyclicity>

The resulting type after applying the ^ operator.

fn bitxor(self, other: O) -> Self::Output

Performs the ^ operation.

impl Clone for Cyclicity

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Cyclicity

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

Formats the value using the given formatter.

impl EnumSetTypePrivate for Cyclicity

type Repr = u8

The underlying type used to store the bitset.

const ALL_BITS: Self::Repr = {transmute(0x07): <partial::Cyclicity as enumset::__internal::EnumSetTypePrivate>::Repr}

A mask of bits that are valid in the bitset.

const BIT_WIDTH: u32 = 3u32

The largest bit used in the bitset.

const VARIANT_COUNT: u32 = 3u32

The number of variants in the bitset.

fn enum_into_u32(self) -> u32

Converts an enum of this type into its bit position.

unsafe fn enum_from_u32(val: u32) -> Self

Converts a bit position into an enum value.

impl Not for Cyclicity

type Output = EnumSet<Cyclicity>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq<Cyclicity> for Cyclicity

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

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

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

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

impl PartialEq<EnumSet<Cyclicity>> for Cyclicity

fn eq(&self, other: &EnumSet<Cyclicity>) -> bool

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

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

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

impl<O: Into<EnumSet<Cyclicity>>> Sub<O> for Cyclicity

type Output = EnumSet<Cyclicity>

The resulting type after applying the - operator.

fn sub(self, other: O) -> Self::Output

Performs the - operation.

impl Copy for Cyclicity

impl EnumSetType for Cyclicity

impl Eq for Cyclicity