Trait AnyAir 

pub trait AnyAir<SC: StarkProtocolConfig>:
    Air<SymbolicRapBuilder<SC::F>>
    + for<'a> Air<DebugConstraintBuilder<'a, SC>>
    + BaseAirWithPublicValues<SC::F>
    + PartitionedBaseAir<SC::F>
    + Send
    + Sync {
    // Required methods
    fn as_any(&self) -> &dyn Any;
    fn name(&self) -> String;
}

RAP trait for all-purpose dynamic dispatch use. This trait is auto-implemented if you implement Air and BaseAirWithPublicValues and PartitionedBaseAir traits.

Required Methods

fn as_any(&self) -> &dyn Any

fn name(&self) -> String

Name for display purposes

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<SC, T> AnyAir<SC> for T

where SC: StarkProtocolConfig, T: Air<SymbolicRapBuilder<SC::F>> + for<'a> Air<DebugConstraintBuilder<'a, SC>> + BaseAirWithPublicValues<SC::F> + PartitionedBaseAir<SC::F> + Send + Sync + 'static,