Skip to main content

ConstrainedModule

Trait ConstrainedModule 

Source
pub trait ConstrainedModule<B: Backend> {
    // Required methods
    fn apply_manifold_constraints(self) -> Self;
    fn get_manifold_info(&self) -> HashMap<String, String>;

    // Provided method
    fn has_manifold_constraints(&self) -> bool { ... }
}
Expand description

Trait for modules that have manifold constraints

Required Methods§

Source

fn apply_manifold_constraints(self) -> Self

Apply manifold constraints to all parameters in the module

Source

fn get_manifold_info(&self) -> HashMap<String, String>

Get information about the manifold constraints

Provided Methods§

Source

fn has_manifold_constraints(&self) -> bool

Check if this module has manifold constraints

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementors§

Source§

impl<B, M, Man> ConstrainedModule<B> for Constrained<M, Man>
where M: Module<B>, B: Backend, Man: Manifold<B> + Clone + Debug + Send,

Blanket implementation for Constrained wrapper