Struct Clause 

pub struct Clause {
    lbd: u32,
    literals: Vec<Literal>,
    garbage: bool,
}

子句（文字析取）结构。

• literals：子句中的文字序列；
• lbd：学习子句质量指标（Literal Block Distance）；
• garbage：删除标记（当前版本预留位）。

Fields

lbd: u32

学习子句的 LBD 指标。

literals: Vec<Literal>

子句的文字列表。

garbage: bool

垃圾回收标志位。

Implementations

impl Clause

pub fn new() -> Self

创建空子句。

pub fn with_literals(self, literals: Vec<Literal>) -> Self

设置文字并按变量编号排序（便于规范化表示）。

pub fn with_ordered_literals(self, literals: Vec<Literal>) -> Self

设置已按调用方规则排布的文字（不再重排）。

pub fn with_lbd(self, lbd: u32) -> Self

设置子句的 LBD 值。

pub fn lbd(&self) -> u32

返回子句 LBD。

pub fn literals(&self) -> &[Literal]

返回只读文字切片。

pub fn garbage(&self) -> bool

返回该子句是否已标记为垃圾。

Trait Implementations

impl Clone for Clause

fn clone(&self) -> Clause

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Clause

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

Formats the value using the given formatter.

impl Default for Clause

fn default() -> Clause

Returns the “default value” for a type.

impl Index<usize> for Clause

type Output = isize

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<usize> for Clause

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<'a> IntoIterator for &'a Clause

type Item = &'a isize

The type of the elements being iterated over.

type IntoIter = Iter<'a, isize>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl IntoIterator for Clause

type Item = isize

The type of the elements being iterated over.

type IntoIter = IntoIter<isize>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.