Trait AnyRap

pub trait AnyRap<SC: StarkGenericConfig>:
    Rap<SymbolicRapBuilder<Val<SC>>>
    + for<'a> Rap<ProverConstraintFolder<'a, SC>>
    + for<'a> Rap<DebugConstraintBuilder<'a, SC>>
    + BaseAirWithPublicValues<Val<SC>>
    + PartitionedBaseAir<Val<SC>>
    + 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

Implementors

impl<SC, T> AnyRap<SC> for T

where SC: StarkGenericConfig, T: Rap<SymbolicRapBuilder<Val<SC>>> + for<'a> Rap<ProverConstraintFolder<'a, SC>> + for<'a> Rap<DebugConstraintBuilder<'a, SC>> + BaseAirWithPublicValues<Val<SC>> + PartitionedBaseAir<Val<SC>> + Send + Sync + 'static,