Struct dimacs::Clause

pub struct Clause { /* fields omitted */ }

Represents a clause instance within a .cnf file.

Methods

impl Clause

fn from_vec(lits: Vec<Lit>) -> Clause

Creates a new clause from a vector of literals.

fn len(&self) -> usize

Returns the number of literals of this clause.

fn lits(&self) -> &[Lit]

Returns a slice over the literals of this clause.

Trait Implementations

impl Debug for Clause

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for Clause

fn clone(&self) -> Clause

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Clause

fn eq(&self, __arg_0: &Clause) -> bool

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

fn ne(&self, __arg_0: &Clause) -> bool

This method tests for !=.

impl Eq for Clause