smt_lang::solution::attribute

Trait NewAttribute

Source 
pub trait NewAttribute<T: Id> {
    // Required method
    fn new(
        smt: &Smt<'_>,
        model: &Model<'_>,
        instance: InstanceId,
        attribute: AttributeId<T>,
    ) -> Self;
}

Required Methods§

Source

fn new( smt: &Smt<'_>, model: &Model<'_>, instance: InstanceId, attribute: AttributeId<T>, ) -> Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§