IntoNamedExpression

solverforge_core::constraints

Trait IntoNamedExpression 

Source 
pub trait IntoNamedExpression {
    // Required methods
    fn named(self) -> NamedExpression;
    fn named_as(self, name: impl Into<String>) -> NamedExpression;
}
Expand description

Extension trait for converting expressions to named expressions.

Required Methods§

Source

fn named(self) -> NamedExpression

Converts to a NamedExpression with an auto-generated name.

Source

fn named_as(self, name: impl Into<String>) -> NamedExpression

Converts to a NamedExpression with the given name.

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§