Enum haybale::solver_utils::PossibleSolutions [−][src]
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.
Tuple Fields of Exactly
0: HashSet<V>
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.
Tuple Fields of AtLeast
0: HashSet<V>
Implementations
Create a new, empty, PossibleSolutions
(representing no possible solution)
Create a new PossibleSolutions
representing exactly one possible solution
Create a new PossibleSolutions
repesenting exactly two possible solutions
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
.
Get a count of how many possible solutions there are.
Trait Implementations
Create a PossibleSolutions::Exactly
from the contents of an iterator
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl<V> RefUnwindSafe for PossibleSolutions<V> where
V: RefUnwindSafe,
impl<V> Send for PossibleSolutions<V> where
V: Send,
impl<V> Sync for PossibleSolutions<V> where
V: Sync,
impl<V> Unpin for PossibleSolutions<V> where
V: Unpin,
impl<V> UnwindSafe for PossibleSolutions<V> where
V: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more