Enum Trit 

#[repr(i8)]
pub enum Trit {
    False = -1,
    Unknown = 0,
    True = 1,
}

Balanced Ternary Primitive

Occupies 1 byte in memory (i8) but carries 1.58 bits of information (log2(3)). This is the fundamental unit of the Setun decision engine.

Examples

use mindfry::setun::Trit;

// Consensus: Same-sign strengthens, opposite-sign cancels
assert_eq!(Trit::True * Trit::True, Trit::True);
assert_eq!(Trit::True * Trit::False, Trit::False);
assert_eq!(Trit::Unknown * Trit::True, Trit::Unknown);

// Inversion
assert_eq!(!Trit::True, Trit::False);
assert_eq!(!Trit::Unknown, Trit::Unknown);

Variants

False = -1

Inhibition / Rejection / Negative (-1) Biological analog: GABA neurotransmitter

Unknown = 0

Latent / Waiting / Neutral (0) Represents insufficient data or active indecision

True = 1

Excitation / Approval / Positive (+1) Biological analog: Glutamate neurotransmitter

Implementations

impl Trit

pub fn consensus(self, other: Trit) -> Trit

Consensus Logic (Multiplication)

Two parties in agreement strengthen each other (+ * + = +). Opposing parties cancel out (+ * - = -). Unknown absorbs everything (0 * x = 0).

This models synaptic reinforcement in biological networks.

pub const fn weight(self) -> i8

Get the numeric weight of this Trit for aggregation

pub const fn invert(self) -> Trit

Inversion (Negation)

True ↔ False, Unknown stays Unknown. Models inhibitory feedback loops.

pub const fn from_i8_saturating(val: i8) -> Trit

Convert from i8 with saturation

Values > 0 become True, < 0 become False, == 0 becomes Unknown.

Trait Implementations

impl Clone for Trit

fn clone(&self) -> Trit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Trit

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

Formats the value using the given formatter.

impl Default for Trit

fn default() -> Trit

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Trit

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for Trit

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 Trit

type Output = Trit

The resulting type after applying the * operator.

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

Performs the * operation.

impl Not for Trit

type Output = Trit

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for Trit

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Trit

impl Eq for Trit

impl StructuralPartialEq for Trit