[−][src]Struct varisat::clause::Clause

#[repr(transparent)]

pub struct Clause {
    data: [LitIdx],
}

A clause.

This is stoed in a ClauseAlloc and thus must have a representation compatible with slice of LitIdx values.

It would be nicer to use a DST struct with two members and repr(C), but while that can be declared in stable rust, it's almost impossible to work with.

Fields

data: [LitIdx]

Methods

impl Clause[src]

pub fn header(&self) -> &ClauseHeader[src]

The clause's header

pub fn header_mut(&mut self) -> &mut ClauseHeader[src]

Mutable reference to the clause's header

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

The clause's literals

pub fn lits_mut(&mut self) -> &mut [Lit][src]

Mutable slice of the clause's literals

Auto Trait Implementations

impl Send for Clause

impl Sync for Clause

Blanket Implementations

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Reference where
    Inner: Part,
    Outer: Part<PartType = Field<OuterFieldType>>,
    OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
    Reference: HasPart<Outer> + ?Sized,