Struct Literal

pub struct Literal { /* private fields */ }

A boolean variable in the solver; represents a PropositionalVariable but with a certain polarity (i.e. it is either the positive PropositionalVariable or its negation).

Implementations

impl Literal

pub fn new( propositional_variable: PropositionalVariable, is_positive: bool, ) -> Literal

pub fn is_positive(&self) -> bool

pub fn is_negative(&self) -> bool

pub fn get_propositional_variable(&self) -> PropositionalVariable

pub fn to_u32(self) -> u32

pub fn u32_to_literal(literal_code: u32) -> Literal

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.

impl Default for Literal

fn default() -> Literal

Returns the “default value” for a type.

impl Display for Literal

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

Formats the value using the given formatter.

impl From<Literal> for Predicate

fn from(value: Literal) -> Self

Converts to this type from the input type.

impl Hash for Literal

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Not for Literal

type Output = Literal

The resulting type after applying the ! operator.

fn not(self) -> Literal

Performs the unary ! operation.

impl PartialEq for Literal

fn eq(&self, other: &Literal) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StorageKey for Literal

fn index(&self) -> usize

fn create_from_index(index: usize) -> Self

impl Copy for Literal

impl Eq for Literal

impl StructuralPartialEq for Literal