Struct dimacs::Var
[−]
[src]
pub struct Var(pub u64);
Represents a variable within a SAT instance.
Methods
impl Var
[src]
Trait Implementations
impl Copy for Var
[src]
impl Clone for Var
[src]
fn clone(&self) -> Var
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more
impl Debug for Var
[src]
impl PartialEq for Var
[src]
fn eq(&self, __arg_0: &Var) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Var) -> bool
This method tests for !=
.