Trait splr::traits::VarIF

pub trait VarIF {
    fn new(i: usize) -> Var;
    fn new_vars(n: usize) -> Vec<Var>;
}

API for Var, providing new and new_vars.

Required methods

fn new(i: usize) -> Var

return a new instance.

fn new_vars(n: usize) -> Vec<Var>

return a new vector of $n$ Vars.

Loading content...

Implementors

impl VarIF for Var

fn new(i: usize) -> Var

fn new_vars(n: usize) -> Vec<Var>

Loading content...