[−][src]Struct term_rewriting::trace::TraceNode
A TraceNode
describes a specific evaluation step in the Trace
.
Methods
impl TraceNode
[src]
pub fn state(&self) -> TraceState
[src]
The TraceState
associated with this evaluation step.
pub fn term(&self) -> Term
[src]
The Term
associated with this evaluation step.
pub fn log_p(&self) -> f64
[src]
The log probability of reaching this particular evaluation step.
pub fn depth(&self) -> usize
[src]
The depth (i.e. number of previous evaluation steps) of this evaluation step.
pub fn parent(&self) -> Option<TraceNode>
[src]
The parent TraceNode
of this evaluation step.
pub fn children(&self) -> Vec<TraceNode>
[src]
The children TraceNode
s of this evaluation step.
pub fn is_leaf(&self) -> bool
[src]
Whether this evaluation step has no associated children.
ⓘImportant traits for TraceNodeIterpub fn iter(&self) -> TraceNodeIter
[src]
Returns an iterator over all nodes that descend from this node.
pub fn progeny(&self, states: &[TraceState]) -> Vec<TraceNode>
[src]
All the nodes descending from this node.
pub fn leaves(&self, states: &[TraceState]) -> Vec<TraceNode>
[src]
All the leaf nodes that descend from this node.
pub fn leaf_terms(&self, states: &[TraceState]) -> Vec<Term>
[src]
Like leaves
, but returns Term
s instead of TraceNodes
s.
Trait Implementations
impl<'a> IntoIterator for &'a TraceNode
[src]
type Item = TraceNode
The type of the elements being iterated over.
type IntoIter = TraceNodeIter
Which kind of iterator are we turning this into?
ⓘImportant traits for TraceNodeIterfn into_iter(self) -> TraceNodeIter
[src]
impl IntoIterator for TraceNode
[src]
type Item = TraceNode
The type of the elements being iterated over.
type IntoIter = TraceNodeIter
Which kind of iterator are we turning this into?
ⓘImportant traits for TraceNodeIterfn into_iter(self) -> TraceNodeIter
[src]
impl Ord for TraceNode
[src]
fn cmp(&self, other: &TraceNode) -> Ordering
[src]
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
fn clamp(self, min: Self, max: Self) -> Self
[src]
clamp
)Restrict a value to a certain interval. Read more
impl Clone for TraceNode
[src]
fn clone(&self) -> TraceNode
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl PartialEq<TraceNode> for TraceNode
[src]
fn eq(&self, other: &TraceNode) -> bool
[src]
#[must_use]
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests for !=
.
impl PartialOrd<TraceNode> for TraceNode
[src]
fn partial_cmp(&self, other: &TraceNode) -> Option<Ordering>
[src]
#[must_use]
fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than (for self
and other
) and is used by the <
operator. Read more
#[must_use]
fn le(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
#[must_use]
fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
#[must_use]
fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl Eq for TraceNode
[src]
impl Debug for TraceNode
[src]
Auto Trait Implementations
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<I> IntoIterator for I where
I: Iterator,
[src]
I: Iterator,
type Item = <I as Iterator>::Item
The type of the elements being iterated over.
type IntoIter = I
Which kind of iterator are we turning this into?
fn into_iter(self) -> I
[src]
impl<T> From<T> for T
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,