smt_lang::solution::method

Trait NewMethod

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

Required Methods§

Source

fn new( smt: &Smt<'_>, model: &Model<'_>, instance: InstanceId, method: &Method<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§