Enum chalk_integration::SolverChoice
source · pub enum SolverChoice {
SLG {
max_size: usize,
expected_answers: Option<usize>,
},
Recursive {
overflow_depth: usize,
caching_enabled: bool,
max_size: usize,
},
}
Variants§
Implementations§
source§impl SolverChoice
impl SolverChoice
sourcepub fn slg(max_size: usize, expected_answers: Option<usize>) -> Self
pub fn slg(max_size: usize, expected_answers: Option<usize>) -> Self
Returns specific SLG parameters.
sourcepub fn slg_default() -> Self
pub fn slg_default() -> Self
Returns the default SLG parameters.
sourcepub fn recursive_default() -> Self
pub fn recursive_default() -> Self
Returns the default recursive solver setup.
sourcepub fn recursive(max_size: usize, overflow_depth: usize) -> Self
pub fn recursive(max_size: usize, overflow_depth: usize) -> Self
Returns a recursive solver with specific parameters.
pub fn into_solver(self) -> Box<dyn Solver<ChalkIr>>
Trait Implementations§
source§impl Clone for SolverChoice
impl Clone for SolverChoice
source§fn clone(&self) -> SolverChoice
fn clone(&self) -> SolverChoice
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for SolverChoice
impl Debug for SolverChoice
source§impl Default for SolverChoice
impl Default for SolverChoice
source§impl Hash for SolverChoice
impl Hash for SolverChoice
source§impl Ord for SolverChoice
impl Ord for SolverChoice
source§fn cmp(&self, other: &SolverChoice) -> Ordering
fn cmp(&self, other: &SolverChoice) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq for SolverChoice
impl PartialEq for SolverChoice
source§fn eq(&self, other: &SolverChoice) -> bool
fn eq(&self, other: &SolverChoice) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd for SolverChoice
impl PartialOrd for SolverChoice
source§fn partial_cmp(&self, other: &SolverChoice) -> Option<Ordering>
fn partial_cmp(&self, other: &SolverChoice) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for SolverChoice
impl Eq for SolverChoice
impl StructuralPartialEq for SolverChoice
Auto Trait Implementations§
impl Freeze for SolverChoice
impl RefUnwindSafe for SolverChoice
impl Send for SolverChoice
impl Sync for SolverChoice
impl Unpin for SolverChoice
impl UnwindSafe for SolverChoice
Blanket Implementations§
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> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.source§impl<T> CloneToUninit for Twhere
T: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.