Struct programinduction::trs::ModelParams
source · pub struct ModelParams {
pub p_partial: f64,
pub p_observe: f64,
pub max_steps: usize,
pub max_size: Option<usize>,
}
Expand description
Parameters for a TRS-based probabilistic model.
Fields§
§p_partial: f64
How much partial credit is given for incorrect answers; it should be a probability (i.e. in [0, 1]).
p_observe: f64
The (non-log) probability of generating observations at arbitrary evaluation steps (i.e. not just normal forms). Typically 0.0.
max_steps: usize
The number of evaluation steps you would like to explore in the trace.
max_size: Option<usize>
The largest term that will be considered for evaluation. None
will
evaluate all terms.
Trait Implementations§
source§impl Clone for ModelParams
impl Clone for ModelParams
source§fn clone(&self) -> ModelParams
fn clone(&self) -> ModelParams
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 ModelParams
impl Debug for ModelParams
source§impl Default for ModelParams
impl Default for ModelParams
source§fn default() -> ModelParams
fn default() -> ModelParams
Returns the “default value” for a type. Read more
source§impl<'de> Deserialize<'de> for ModelParams
impl<'de> Deserialize<'de> for ModelParams
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Serialize for ModelParams
impl Serialize for ModelParams
impl Copy for ModelParams
Auto Trait Implementations§
impl RefUnwindSafe for ModelParams
impl Send for ModelParams
impl Sync for ModelParams
impl Unpin for ModelParams
impl UnwindSafe for ModelParams
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