Struct VarSet 

pub struct VarSet { /* private fields */ }

Variable set, potentially along with a variable order and variable names

The variable numbers are in range 0..self.len().

Implementations

impl VarSet

pub const fn new(n: usize) -> Self

Create a variable set without a variable order and names

pub fn with_names(names: Vec<Option<String>>) -> Self

Create a variable set with the given names

The number of variables is given by names.len().

pub fn len(&self) -> usize

Number of variables

pub fn is_empty(&self) -> bool

Returns true iff the number of variables is 0

pub fn order(&self) -> Option<&[Var]>

Get the linear variable order, if present

The order is given as a mapping from positions to variables.

If self.order_tree() is not None, then it is the flattened tree.

pub fn order_tree(&self) -> Option<&Tree<Var>>

Get the tree of variable groups, if present

This may be useful for, e.g., group sifting.

pub fn has_names(&self) -> bool

Returns true if any variable has a name

pub fn name(&self, var: Var) -> Option<&str>

Get the name for variable var

pub fn set_name(&mut self, var: Var, name: impl Into<String>) -> Option<String>

Set the name for variable var. Returns the previous name.

Trait Implementations

impl Clone for VarSet

fn clone(&self) -> VarSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VarSet

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

Formats the value using the given formatter.

impl PartialEq for VarSet

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for VarSet

impl StructuralPartialEq for VarSet