Trait FrozenState 

pub trait FrozenState:
    Any
    + Debug
    + DynClone
    + Send {
    // Required methods
    fn unfreeze(&self) -> Box<dyn State>;
    fn input_count(&self) -> usize;
    fn output_count(&self) -> usize;
}

Required Methods

fn unfreeze(&self) -> Box<dyn State>

fn input_count(&self) -> usize

fn output_count(&self) -> usize

Trait Implementations

impl<'clone> Clone for Box<dyn FrozenState + 'clone>

fn clone(&self) -> Box<dyn FrozenState + 'clone>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn FrozenState + Send + 'clone>

fn clone(&self) -> Box<dyn FrozenState + Send + 'clone>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn FrozenState + Sync + 'clone>

fn clone(&self) -> Box<dyn FrozenState + Sync + 'clone>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn FrozenState + Send + Sync + 'clone>

fn clone(&self) -> Box<dyn FrozenState + Send + Sync + 'clone>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl FrozenState for FrozenSimpleState<TypedFact, Box<dyn TypedOp>>