Struct Variable 

pub struct Variable {
    pub level: usize,
    pub trail_index: usize,
    pub reason: Option<usize>,
}

求解器内部变量状态（不是 DIMACS 中变量定义本身）。

该结构记录变量在搜索过程中的“赋值元信息”：

• 在哪个决策层被赋值；
• 在 trail 中的位置；
• 若为传播赋值，其原因子句编号。

Fields

level: usize

变量被赋值时所在的决策层。

trail_index: usize

变量被压入 trail 时的位置（1-based 语义，由外部维护）。

reason: Option<usize>

赋值原因子句。

• 决策赋值：None
• 蕴含赋值：Some(clause_id)

Trait Implementations

impl Clone for Variable

fn clone(&self) -> Variable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Variable

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

Formats the value using the given formatter.

impl Default for Variable

fn default() -> Variable

Returns the “default value” for a type.

impl Copy for Variable