Struct TripletFormula

pub struct TripletFormula {
    pub triplets: Vec<(TripletVar, TripletVar, TripletVar)>,
    pub bridge_vars: HashMap<TripletVar, usize>,
    pub next_bridge_var: i32,
    pub root_var: Option<TripletVar>,
    pub max_original_var: i32,
}

Represents a formula in triplet form for Stalmarck’s algorithm

Fields

triplets: Vec<(TripletVar, TripletVar, TripletVar)>

Collection of triplets (a, b, c) where each represents a logical relation

bridge_vars: HashMap<TripletVar, usize>

Mapping from bridge variables (b1, b2, etc.) to their corresponding triplet index

next_bridge_var: i32

The next available bridge variable ID

root_var: Option<TripletVar>

The root variable representing the entire formula

max_original_var: i32

Maximum original variable ID (not including bridge variables)

Trait Implementations

impl Clone for TripletFormula

fn clone(&self) -> TripletFormula

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TripletFormula

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

Formats the value using the given formatter.

impl PartialEq for TripletFormula

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