Enum haybale::solver_utils::PossibleSolutions

pub enum PossibleSolutions<V: Eq + Hash> {
    Exactly(HashSet<V>),
    AtLeast(HashSet<V>),
}

Variants

Exactly(HashSet<V>)

This is exactly the set of possible solutions; there are no others. Note that an empty set here indicates there are no possible solutions.

AtLeast(HashSet<V>)

All of the solutions in this set are possible solutions, but there may be others. That is, there are at least this many solutions.

Implementations

impl<V: Eq + Hash> PossibleSolutions<V>

pub fn empty() -> Self

Create a new, empty, PossibleSolutions (representing no possible solution)

pub fn exactly_one(sol: V) -> Self

Create a new PossibleSolutions representing exactly one possible solution

pub fn exactly_two(sol1: V, sol2: V) -> Self

Create a new PossibleSolutions repesenting exactly two possible solutions

impl PossibleSolutions<BVSolution>

pub fn as_u64_solutions(&self) -> Option<PossibleSolutions<u64>>

Convert a PossibleSolutions over BVSolution into a PossibleSolutions over u64, by applying as_u64() to each BVSolution. If as_u64() fails for any individual solution, this returns None.

impl<V: Eq + Hash> PossibleSolutions<V>

pub fn count(&self) -> SolutionCount

Get a count of how many possible solutions there are.

Trait Implementations

impl<V: Clone + Eq + Hash> Clone for PossibleSolutions<V>

fn clone(&self) -> PossibleSolutions<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: Debug + Eq + Hash> Debug for PossibleSolutions<V>

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

Formats the value using the given formatter.

impl<V: Eq + Hash> Eq for PossibleSolutions<V>

impl<V: Eq + Hash> FromIterator<V> for PossibleSolutions<V>

fn from_iter<T: IntoIterator<Item = V>>(iter: T) -> Self

Create a PossibleSolutions::Exactly from the contents of an iterator

impl<V: PartialEq + Eq + Hash> PartialEq<PossibleSolutions<V>> for PossibleSolutions<V>

fn eq(&self, other: &PossibleSolutions<V>) -> bool

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

fn ne(&self, other: &PossibleSolutions<V>) -> bool

This method tests for !=.

impl<V: Eq + Hash> StructuralEq for PossibleSolutions<V>

impl<V: Eq + Hash> StructuralPartialEq for PossibleSolutions<V>