Struct Assumptions 

pub struct Assumptions(/* private fields */);

假设位集（u16；位序与 Predicate::bit 一致）。恒存闭包后的形态。

Implementations

impl Assumptions

pub fn none() -> Self

pub fn with(p: Predicate) -> Self

单谓词构造（经闭包补全）。

pub fn union(preds: &[Predicate]) -> Self

多谓词并集构造（经闭包补全 + 绑定标记）。

pub fn bound(&self) -> bool

是否有绑定（无绑定 ⇒ 一切查询 Unknown）。

pub fn has(&self, p: Predicate) -> bool

pub fn close(self) -> Self

闭包补全 + 冲突检测。返回补全后的位集；冲突（positive∧negative） 属编程错误，直接 panic（与符号名校验同级的契约）。

pub fn nonnegative(&self) -> bool

非负（positive ∨ zero）——sqrt(x^2) 规则的判据。

Trait Implementations

impl Clone for Assumptions

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Assumptions

impl Debug for Assumptions

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

Formats the value using the given formatter.

impl Default for Assumptions

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Assumptions

impl PartialEq for Assumptions

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Assumptions