Struct trivial_kernel::var::Var_

pub struct Var_(_);

Trait Implementations

impl Clone for Var_

fn clone(&self) -> Var_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Var_

impl Debug for Var_

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

Formats the value using the given formatter.

impl From<u64> for Var_

fn from(value: u64) -> Var_

Performs the conversion.

impl Var for Var_

fn new(sort_idx: u8, deps: u64, bound: bool) -> Var_

fn is_bound(&self) -> bool

fn depends_on(&self, t: u8) -> bool

fn depends_on_full(&self, other: u64) -> bool

fn get_deps(&self) -> u64

fn get_sort_idx(&self) -> u8

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