Trait trivial_kernel::var::Var[−][src]

pub trait Var: Copy {
    fn new(sort_idx: u8, deps: u64, bound: bool) -> Self;

    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;
}

Required methods

fn new(sort_idx: u8, deps: u64, bound: bool) -> Self[src]

fn is_bound(&self) -> bool[src]

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

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

fn get_deps(&self) -> u64[src]

fn get_sort_idx(&self) -> u8[src]

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

Loading content...

Implementors

impl Var for Var_[src]

Loading content...