pub struct Literal {
pub value: i32,
pub negated: bool,
}
Expand description
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§
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for Literal
impl Send for Literal
impl Sync for Literal
impl Unpin for Literal
impl UnwindSafe for Literal
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more