Struct History 

pub struct History(/* private fields */);

Implementations

impl History

pub fn new() -> History

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn clear(&mut self)

pub fn push(&mut self, pred: Ident, args_size: Vec<usize>)

pub fn left_biased_strategy_pred(&self) -> bool

pub fn naive_strategy_pred(&self, n: usize) -> bool

pub fn struct_recur_strategy_pred( &self, pred: Ident, args: &[TermVal<IdentCtx>], ) -> bool

Trait Implementations

impl Clone for History

fn clone(&self) -> History

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for History

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for History

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for History

fn eq(&self, other: &History) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for History