Struct sat_rs::notation::Literal

pub struct Literal {
    pub value: i32,
    pub negated: bool,
}

Struct representing a Literal. Also known as an atom.

Derives from Debug and Clone. Contains a value and a boolean representing whether it is negated or not

Examples

use sat_rs::notation::Literal;

let literal = Literal::new();

let literal = Literal::from_value(1);

let literal = Literal{ value: 1, negated: false};

Fields

value: i32

negated: bool

Implementations

impl Literal

pub fn new() -> Literal

Creates a new Literal with value 0 and negated set to false

Examples

use sat_rs::notation::Literal;

let literal = Literal::new();

pub fn from_value(value: i32) -> Literal

Creates a new Literal from a given value. Negated is set to false

Arguments

• value - An i32 representing the value of the Literal

Examples

use sat_rs::notation::Literal;

let literal = Literal::from_value(1);

Trait Implementations

impl Clone for Literal

fn clone(&self) -> Literal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Literal

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

Formats the value using the given formatter.