Skip to main content

GpuCdclRawOutput

Struct GpuCdclRawOutput

pub struct GpuCdclRawOutput {
    pub assignment: TrackedCudaSlice<i8>,
    pub out_status: TrackedCudaSlice<i32>,
    pub out_error: TrackedCudaSlice<i32>,
    pub out_learned_count: TrackedCudaSlice<u32>,
}

Expand description

Raw CDCL outputs (device-resident) for debugging and research.

Production verifier paths should prefer solve_expect_sat* / solve_expect_unsat*, which validate results on GPU and return typed errors for status mismatches.

Fields§

§assignment: TrackedCudaSlice<i8>

Device-resident variable assignment indexed by one-based SAT variable identifier.

§out_status: TrackedCudaSlice<i32>

Device-resident terminal solver status.

§out_error: TrackedCudaSlice<i32>

Device-resident kernel error code; zero indicates no kernel error.

§out_learned_count: TrackedCudaSlice<u32>

Device-resident count of learned clauses retained by the solve.

Auto Trait Implementations§

impl Freeze for GpuCdclRawOutput

impl RefUnwindSafe for GpuCdclRawOutput

impl Send for GpuCdclRawOutput

impl Sync for GpuCdclRawOutput

impl Unpin for GpuCdclRawOutput

impl UnsafeUnpin for GpuCdclRawOutput

impl UnwindSafe for GpuCdclRawOutput

Blanket Implementations§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.