pub struct SolverInput {
instance: Instance,
effort: Effort,
equix: EquiXBuilder,
}Expand description
All inputs necessary to run the Solver
Fields§
§instance: InstanceThe puzzle instance we’re solving
effort: EffortEffort chosen by the client for this solver run
equix: EquiXBuilderConfiguration settings for Equi-X, as an EquiXBuilder instance
Implementations§
Source§impl SolverInput
impl SolverInput
Sourcepub fn new(instance: Instance, effort: Effort) -> Self
pub fn new(instance: Instance, effort: Effort) -> Self
Construct a SolverInput by wrapping an Instance.
Sourcepub fn runtime(&mut self, option: RuntimeOption) -> &mut Self
pub fn runtime(&mut self, option: RuntimeOption) -> &mut Self
Select the HashX runtime to use for this Solver input.
By default, uses RuntimeOption::TryCompile.
Sourcepub fn solve<R: RngCore + CryptoRng>(self, rng: &mut R) -> Solver
pub fn solve<R: RngCore + CryptoRng>(self, rng: &mut R) -> Solver
Begin solving with this input and a new random Nonce.
Generates a new random Nonce using the provided Rng.
May be parallelized if desired, by cloning the SolverInput first.
Sourcepub fn solve_with_nonce(self, nonce: &Nonce) -> Solver
pub fn solve_with_nonce(self, nonce: &Nonce) -> Solver
Begin solving with a specified Nonce.
This is not generally useful, but it’s great for unit tests if you’d like to skip to a deterministic location in the search.
Trait Implementations§
Source§impl Clone for SolverInput
impl Clone for SolverInput
Source§fn clone(&self) -> SolverInput
fn clone(&self) -> SolverInput
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for SolverInput
impl RefUnwindSafe for SolverInput
impl Send for SolverInput
impl Sync for SolverInput
impl Unpin for SolverInput
impl UnsafeUnpin for SolverInput
impl UnwindSafe for SolverInput
Blanket Implementations§
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Converts
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Converts
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Converts
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Converts
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more