Enum Digit

pub enum Digit {
    Neg,
    Zero,
    Pos,
}

Represents a digit in the balanced ternary numeral system.

A digit can have one of three values:

• Neg (-1): Represents the value -1 in the balanced ternary system.
• Zero (0): Represents the value 0 in the balanced ternary system.
• Pos (+1): Represents the value +1 in the balanced ternary system.

Provides utility functions for converting to/from characters, integers, and negation.

Variants

Neg

Represents -1

Zero

Represents 0

Pos

Represents +1

Implementations

impl Digit

pub fn to_char(&self) -> char

Converts the Digit into its character representation.

• Returns:
  • - for Digit::Neg
  • 0 for Digit::Zero
  • + for Digit::Pos

pub fn from_char(c: char) -> Digit

Creates a Digit from its character representation.

• Accepts:
  • - for Digit::Neg
  • 0 for Digit::Zero
  • + for Digit::Pos
• Panics if the input character is invalid.

pub fn to_i8(&self) -> i8

Converts the Digit into its integer representation.

• Returns:
  • -1 for Digit::Neg
  • 0 for Digit::Zero
  • 1 for Digit::Pos

pub fn from_i8(i: i8) -> Digit

Creates a Digit from its integer representation.

• Accepts:
  • -1 for Digit::Neg
  • 0 for Digit::Zero
  • 1 for Digit::Pos
• Panics if the input integer is invalid.

pub fn possibly(&self) -> Self

Returns the corresponding possible value of the current Digit.

• Returns:
  • Digit::Neg for Digit::Neg
  • Digit::Pos for Digit::Zero
  • Digit::Pos for Digit::Pos

pub fn necessary(&self) -> Self

Determines the condition of necessity for the current Digit.

• Returns:
  • Digit::Neg for Digit::Neg
  • Digit::Neg for Digit::Zero
  • Digit::Pos for Digit::Pos

This method is used to calculate necessity as part of balanced ternary logic systems.

pub fn contingently(&self) -> Self

Determines the condition of contingency for the current Digit.

• Returns:
  • Digit::Neg for Digit::Neg
  • Digit::Pos for Digit::Zero
  • Digit::Neg for Digit::Pos

This method represents contingency in balanced ternary logic, which defines the specific alternation of Digit values.

pub fn not_negative(&self) -> Self

Determines the condition of non-negativity for the current Digit.

• Returns:
  • Digit::Zero for Digit::Neg
  • Digit::Pos for Digit::Zero
  • Digit::Pos for Digit::Pos

This method is used to filter out negative conditions in computations with balanced ternary representations.

pub fn positive(&self) -> Self

Determines the strictly positive condition for the current Digit.

• Returns:
  • Digit::Zero for Digit::Neg
  • Digit::Zero for Digit::Zero
  • Digit::Pos for Digit::Pos

This method is used to calculate strictly positive states in association with ternary logic.

pub fn not_positive(&self) -> Self

Determines the condition of non-positivity for the current Digit.

• Returns:
  • Digit::Pos for Digit::Neg
  • Digit::Pos for Digit::Zero
  • Digit::Zero for Digit::Pos

This method complements the positive condition and captures states that are not strictly positive.

pub fn negative(&self) -> Self

Determines the strictly negative condition for the current Digit.

• Returns:
  • Digit::Pos for Digit::Neg
  • Digit::Zero for Digit::Zero
  • Digit::Zero for Digit::Pos

This method calculates strictly negative states in association with ternary logic.

pub fn k3_imply(&self, other: Self) -> Self

Performs Kleene implication with the current Digit as self and another Digit.

• self: The antecedent of the implication.

• other: The consequent of the implication.

• Returns:

  • Digit::Pos when self is Digit::Neg.
  • The positive condition of other when self is Digit::Zero.
  • other when self is Digit::Pos.

Implements Kleene ternary implication logic, which includes determining the logical result based on antecedent and consequent.

pub fn l3_imply(&self, other: Self) -> Self

Performs Łukasiewicz implication with the current Digit as self and another Digit.

• self: The antecedent of the implication.

• other: The consequent of the implication.

• Returns:

  • Digit::Pos when self is Digit::Neg.
  • The non-negative condition of other when self is Digit::Zero.
  • other when self is Digit::Pos.

Implements Łukasiewicz ternary implication logic, which evaluates an alternative approach for implication compared to Kleene logic.

pub fn rm3_imply(&self, other: Self) -> Self

Performs RM3 implication with the current Digit as self and another Digit.

• self: The antecedent of the implication.

• other: The consequent of the implication.

• Returns:

  • Digit::Pos when self is Digit::Neg.
  • other when self is Digit::Zero.
  • The necessary condition of other when self is Digit::Pos.

Implements RM3 ternary implication logic, which defines a unique perspective for implication operations in balanced ternary systems.

pub fn ht_imply(&self, other: Self) -> Self

Performs HT implication with the current Digit as self and another Digit.

• self: The antecedent of the implication.

• other: The consequent of the implication.

• Returns:

  • Digit::Pos when self is Digit::Neg.
  • The possibility condition of other when self is Digit::Zero.
  • other when self is Digit::Pos.

This method computes HT ternary implication based on heuristic logic.

pub fn ht_not(&self) -> Self

Performs HT logical negation of the current Digit.

• Returns:
  • Digit::Pos when self is Digit::Neg.
  • Digit::Neg when self is Digit::Zero or Digit::Pos.

This method evaluates the HT negation result using heuristic ternary logic.

Trait Implementations

impl Add for Digit

type Output = Ternary

The resulting type after applying the + operator.

fn add(self, other: Digit) -> Self::Output

Performs the + operation.

impl BitAnd for Digit

type Output = Digit

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitOr for Digit

type Output = Digit

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitXor for Digit

type Output = Digit

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.

impl Clone for Digit

fn clone(&self) -> Digit

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Digit

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

Formats the value using the given formatter.

impl Div for Digit

type Output = Digit

The resulting type after applying the / operator.

fn div(self, other: Digit) -> Self::Output

Performs the / operation.

impl Hash for Digit

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 Mul for Digit

type Output = Digit

The resulting type after applying the * operator.

fn mul(self, other: Digit) -> Self::Output

Performs the * operation.

impl Neg for Digit

fn neg(self) -> Self::Output

Returns the negation of the Digit.

• Digit::Neg becomes Digit::Pos
• Digit::Pos becomes Digit::Neg
• Digit::Zero remains Digit::Zero

type Output = Digit

The resulting type after applying the - operator.

impl Not for Digit

type Output = Digit

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for Digit

fn eq(&self, other: &Digit) -> 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 Sub for Digit

type Output = Ternary

The resulting type after applying the - operator.

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

Performs the - operation.

impl Copy for Digit

impl Eq for Digit

impl StructuralPartialEq for Digit