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§
Sourcefn apply_manifold_constraints(self) -> Self
fn apply_manifold_constraints(self) -> Self
Apply manifold constraints to all parameters in the module
Sourcefn get_manifold_info(&self) -> HashMap<String, String>
fn get_manifold_info(&self) -> HashMap<String, String>
Get information about the manifold constraints
Provided Methods§
Sourcefn has_manifold_constraints(&self) -> bool
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§
impl<B, M, Man> ConstrainedModule<B> for Constrained<M, Man>
Blanket implementation for Constrained wrapper