Struct PredicateDefinition 

pub struct PredicateDefinition {
    pub name: String,
    pub arity: u32,
    pub body: PredicateBody,
    pub param_types: Option<Vec<ValType>>,
}

Fields

name: String

arity: u32

body: PredicateBody

param_types: Option<Vec<ValType>>

Parameter types for the predicate function. If None, defaults to all i32.

Implementations

impl PredicateDefinition

pub fn new(name: impl Into<String>, arity: u32, comparison: Comparison) -> Self

pub fn from_expression( name: impl Into<String>, arity: u32, expression: Expression, ) -> Self

pub fn from_expression_with_types( name: impl Into<String>, param_types: Vec<ValType>, expression: Expression, ) -> Self

Create a predicate from an expression with explicit parameter types. Useful for functions that take non-i32 parameters (e.g., f32 for loadBalance unfairness).

pub fn always_true(name: impl Into<String>, arity: u32) -> Self

pub fn equal( name: impl Into<String>, left: FieldAccess, right: FieldAccess, ) -> Self

Trait Implementations

impl Clone for PredicateDefinition

fn clone(&self) -> PredicateDefinition

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PredicateDefinition

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.