Struct dimacs::Var [] [src]

pub struct Var(pub u64);

Represents a variable within a SAT instance.

Methods

impl Var
[src]

Converts a variable into its representative u64 value.

Trait Implementations

impl Copy for Var
[src]

impl Clone for Var
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl Debug for Var
[src]

Formats the value using the given formatter.

impl PartialEq for Var
[src]

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

impl Eq for Var
[src]

impl Hash for Var
[src]

Feeds this value into the given [Hasher]. Read more

Feeds a slice of this type into the given [Hasher]. Read more