Trait RuleOverload

pub trait RuleOverload {
    // Required methods
    fn matches(&self, lhs: &AnyExpr, rhs: &AnyExpr) -> bool;
    fn unroll(
        &self,
        lhs: AnyExpr,
        rhs: AnyExpr,
        context: &mut CompileContext,
        props: Properties,
        inverted: bool,
        weight: ProcNum,
    ) -> Box<dyn Node>;
}

Trait for rule overloads

Required Methods

fn matches(&self, lhs: &AnyExpr, rhs: &AnyExpr) -> bool

Check if this overload can be called with the given expressions.

fn unroll( &self, lhs: AnyExpr, rhs: AnyExpr, context: &mut CompileContext, props: Properties, inverted: bool, weight: ProcNum, ) -> Box<dyn Node>

Unroll this rule.

Implementors

impl<L: GeoType, R: GeoType, N: Node + 'static, F: Fn(L, R, &mut CompileContext, Properties, bool, ProcNum) -> N> RuleOverload for FunctionRuleOverload<L, R, F>