Struct l_group_formulas::short_free_group_term::ShortFreeGroupTerm

pub struct ShortFreeGroupTerm {
    pub left: Option<Literal>,
    pub mid: Option<Literal>,
    pub right: Option<Literal>,
}

Short means length at most three

Fields

left: Option<Literal>

mid: Option<Literal>

right: Option<Literal>

Implementations

impl ShortFreeGroupTerm

pub fn new(
    left: Option<Literal>,
    mid: Option<Literal>,
    right: Option<Literal>
) -> ShortFreeGroupTerm

Trait Implementations

impl Clone for ShortFreeGroupTerm

fn clone(&self) -> ShortFreeGroupTerm

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for ShortFreeGroupTerm

impl Debug for ShortFreeGroupTerm

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

Formats the value using the given formatter.

impl Eq for ShortFreeGroupTerm

impl<'_> From<&'_ str> for ShortFreeGroupTerm

fn from(s: &str) -> ShortFreeGroupTerm

Performs the conversion.

impl From<FreeGroupTerm> for ShortFreeGroupTerm

fn from(term: FreeGroupTerm) -> ShortFreeGroupTerm

ignores everything after the third symbol

impl From<Literal> for ShortFreeGroupTerm

fn from(x: Literal) -> ShortFreeGroupTerm

Performs the conversion.

impl From<ShortFreeGroupTerm> for FreeGroupTerm

fn from(t: ShortFreeGroupTerm) -> FreeGroupTerm

Performs the conversion.

impl From<char> for ShortFreeGroupTerm

fn from(c: char) -> ShortFreeGroupTerm

Performs the conversion.

impl Len for ShortFreeGroupTerm

fn len(&self) -> usize

impl Mul<ShortFreeGroupTerm> for ShortFreeGroupTerm

type Output = ShortFreeGroupTerm

The resulting type after applying the * operator.

fn mul(self, other: ShortFreeGroupTerm) -> ShortFreeGroupTerm

Warning: This does not check whether the product is indeed short.

impl Ord for ShortFreeGroupTerm

fn cmp(&self, other: &ShortFreeGroupTerm) -> Ordering

This method returns an [Ordering] between self and other.

#[must_use]fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]fn clamp(self, min: Self, max: Self) -> Self

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval.

impl PartialEq<ShortFreeGroupTerm> for ShortFreeGroupTerm

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

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

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

This method tests for !=.

impl PartialOrd<ShortFreeGroupTerm> for ShortFreeGroupTerm

fn partial_cmp(&self, other: &ShortFreeGroupTerm) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &ShortFreeGroupTerm) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &ShortFreeGroupTerm) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &ShortFreeGroupTerm) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &ShortFreeGroupTerm) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralEq for ShortFreeGroupTerm

impl StructuralPartialEq for ShortFreeGroupTerm

impl Term for ShortFreeGroupTerm

fn inverse(&self) -> ShortFreeGroupTerm

impl ToString for ShortFreeGroupTerm

fn to_string(&self) -> String

Converts the given value to a String.