Struct clingo::SolveResult

pub struct SolveResult { /* fields omitted */ }

Bitset that describes the result of a solve call.

Methods

impl SolveResult

pub const SATISFIABLE: SolveResult

SATISFIABLE: SolveResult = SolveResult{bits: clingo_solve_result_clingo_solve_result_satisfiable,}

The problem is satisfiable.

pub const UNSATISFIABLE: SolveResult

UNSATISFIABLE: SolveResult = SolveResult{bits: clingo_solve_result_clingo_solve_result_unsatisfiable,}

The problem is unsatisfiable.

pub const EXHAUSTED: SolveResult

EXHAUSTED: SolveResult = SolveResult{bits: clingo_solve_result_clingo_solve_result_exhausted,}

The search space was exhausted.

pub const INTERRUPTED: SolveResult

INTERRUPTED: SolveResult = SolveResult{bits: clingo_solve_result_clingo_solve_result_interrupted,}

The search was interupted.

pub fn empty() -> SolveResult

Returns an empty set of flags.

pub fn all() -> SolveResult

Returns the set containing all flags.

pub fn bits(&self) -> u32

Returns the raw value of the flags currently stored.

pub fn from_bits(bits: u32) -> Option<SolveResult>

Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.

pub fn from_bits_truncate(bits: u32) -> SolveResult

Convert from underlying bit representation, dropping any bits that do not correspond to flags.

pub fn is_empty(&self) -> bool

Returns true if no flags are currently stored.

pub fn is_all(&self) -> bool

Returns true if all flags are currently set.

pub fn intersects(&self, other: SolveResult) -> bool

Returns true if there are flags common to both self and other.

pub fn contains(&self, other: SolveResult) -> bool

Returns true all of the flags in other are contained within self.

pub fn insert(&mut self, other: SolveResult)

Inserts the specified flags in-place.

pub fn remove(&mut self, other: SolveResult)

Removes the specified flags in-place.

pub fn toggle(&mut self, other: SolveResult)

Toggles the specified flags in-place.

pub fn set(&mut self, other: SolveResult, value: bool)

Inserts or removes the specified flags depending on the passed value.

Trait Implementations

impl Copy for SolveResult

impl PartialEq for SolveResult

fn eq(&self, __arg_0: &SolveResult) -> bool

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

fn ne(&self, __arg_0: &SolveResult) -> bool

This method tests for !=.

impl Eq for SolveResult

impl Clone for SolveResult

fn clone(&self) -> SolveResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialOrd for SolveResult

fn partial_cmp(&self, __arg_0: &SolveResult) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, __arg_0: &SolveResult) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, __arg_0: &SolveResult) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, __arg_0: &SolveResult) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, __arg_0: &SolveResult) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Ord for SolveResult

fn cmp(&self, __arg_0: &SolveResult) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl Hash for SolveResult

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].

impl Debug for SolveResult

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

Formats the value using the given formatter.

impl Binary for SolveResult

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

Formats the value using the given formatter.

impl Octal for SolveResult

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

Formats the value using the given formatter.

impl LowerHex for SolveResult

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

Formats the value using the given formatter.

impl UpperHex for SolveResult

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

Formats the value using the given formatter.

impl BitOr for SolveResult

type Output = SolveResult

The resulting type after applying the | operator.

fn bitor(self, other: SolveResult) -> SolveResult

Returns the union of the two sets of flags.

impl BitOrAssign for SolveResult

fn bitor_assign(&mut self, other: SolveResult)

Adds the set of flags.

impl BitXor for SolveResult

type Output = SolveResult

The resulting type after applying the ^ operator.

fn bitxor(self, other: SolveResult) -> SolveResult

Returns the left flags, but with all the right flags toggled.

impl BitXorAssign for SolveResult

fn bitxor_assign(&mut self, other: SolveResult)

Toggles the set of flags.

impl BitAnd for SolveResult

type Output = SolveResult

The resulting type after applying the & operator.

fn bitand(self, other: SolveResult) -> SolveResult

Returns the intersection between the two sets of flags.

impl BitAndAssign for SolveResult

fn bitand_assign(&mut self, other: SolveResult)

Disables all flags disabled in the set.

impl Sub for SolveResult

type Output = SolveResult

The resulting type after applying the - operator.

fn sub(self, other: SolveResult) -> SolveResult

Returns the set difference of the two sets of flags.

impl SubAssign for SolveResult

fn sub_assign(&mut self, other: SolveResult)

Disables all flags enabled in the set.

impl Not for SolveResult

type Output = SolveResult

The resulting type after applying the ! operator.

fn not(self) -> SolveResult

Returns the complement of this set of flags.

impl Extend<SolveResult> for SolveResult

fn extend<T: IntoIterator<Item = SolveResult>>(&mut self, iterator: T)

Extends a collection with the contents of an iterator.

impl FromIterator<SolveResult> for SolveResult

fn from_iter<T: IntoIterator<Item = SolveResult>>(iterator: T) -> SolveResult

Creates a value from an iterator.