Struct sat_rs::notation::Clause

pub struct Clause {
    pub literals: Vec<Literal>,
}

Struct representing a Clause

Derives from Debug and Clone.

Contains a vector of Literals

Examples

use sat_rs::notation::Literal;
use sat_rs::notation::Clause;

let mut clause = Clause::new();

let p = Literal{ value: 1, negated: false};
let q = Literal{ value: 2, negated: false};

clause.literals.push(p);
clause.literals.push(q);

Fields

literals: Vec<Literal>

Implementations

impl Clause

pub fn new() -> Clause

Creates a new Clause with an empty vector of Literals

Examples

use sat_rs::notation::Clause;

let clause = Clause::new();

Trait Implementations

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 Debug for Clause

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

Formats the value using the given formatter.