Struct chuffed_rs::bindings::Clause

#[repr(C)]
pub struct Clause {
    pub _bitfield_align_1: [u32; 0],
    pub _bitfield_1: __BindgenBitfieldUnit<[u8; 4]>,
    pub data: __IncompleteArrayField<Lit>,
}

Fields

_bitfield_align_1: [u32; 0]

_bitfield_1: __BindgenBitfieldUnit<[u8; 4]>

data: __IncompleteArrayField<Lit>

Implementations

impl Clause

pub fn learnt(&self) -> c_uint

pub fn set_learnt(&mut self, val: c_uint)

pub fn temp_expl(&self) -> c_uint

pub fn set_temp_expl(&mut self, val: c_uint)

pub fn padding(&self) -> c_uint

pub fn set_padding(&mut self, val: c_uint)

pub fn sz(&self) -> c_uint

pub fn set_sz(&mut self, val: c_uint)

pub fn new_bitfield_1( learnt: c_uint, temp_expl: c_uint, padding: c_uint, sz: c_uint, ) -> __BindgenBitfieldUnit<[u8; 4]>

pub unsafe fn debug(&self)

Trait Implementations

impl Debug for Clause

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

Formats the value using the given formatter.