Struct VarSet

pub struct VarSet {
    pub set: Vec<Var>,
    pub has: VarMap<bool>,
}

Fields

set: Vec<Var>

has: VarMap<bool>

Implementations

impl VarSet

pub fn new() -> Self

pub fn new_with(var: Var) -> Self

pub fn len(&self) -> u32

pub fn reserve(&mut self, var: Var)

pub fn has(&self, var: Var) -> bool

pub fn insert(&mut self, var: Var)

pub fn clear(&mut self)

pub fn iter(&self) -> Iter<'_, Var>

pub fn remove(&mut self, i: u32)

pub fn swap(&mut self, a: u32, b: u32)

pub fn elements(&self) -> &[Var]

Trait Implementations

impl Default for VarSet

fn default() -> VarSet

Returns the “default value” for a type.

impl Index<u32> for VarSet

type Output = Var

The returned type after indexing.

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

Performs the indexing (container[index]) operation.