Struct ModelId 

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

Stable identity shared by a model, its expression handles, and its results.

IDs are unique within a process. A transformed or cloned model receives a new identity even when it preserves the source model’s numeric variable IDs.

Implementations

impl ModelId

pub const UNASSIGNED: ModelId

Sentinel used by detached/default result values that have not been associated with a model.

pub const fn get(self) -> u32

Trait Implementations

impl Clone for ModelId

fn clone(&self) -> ModelId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ModelId

impl Debug for ModelId

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

Formats the value using the given formatter.

impl Display for ModelId

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

Formats the value using the given formatter.

impl Eq for ModelId

impl Hash for ModelId

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

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 PartialEq for ModelId

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ModelId