Enum xc2par::AndTermAssignmentResult

pub enum AndTermAssignmentResult {
    Success,
    FailurePtermLOCUnsatisfiable(u32),
    FailurePtermExceeded(u32),
}

Variants

Success

FailurePtermLOCUnsatisfiable(u32)

FailurePtermExceeded(u32)

Trait Implementations

impl Clone for AndTermAssignmentResult

fn clone(&self) -> AndTermAssignmentResult

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for AndTermAssignmentResult

impl Debug for AndTermAssignmentResult

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

Formats the value using the given formatter.

impl Eq for AndTermAssignmentResult

impl PartialEq<AndTermAssignmentResult> for AndTermAssignmentResult

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for AndTermAssignmentResult

impl StructuralPartialEq for AndTermAssignmentResult