Enum SetReduceExpression 

pub enum SetReduceExpression {
    Constant(Set),
    Table1D(SetReduceOperator, usize, usize, Box<ArgumentExpression>),
    Table2D(SetReduceOperator, usize, usize, Box<ArgumentExpression>, Box<ArgumentExpression>),
    Table3D(SetReduceOperator, usize, usize, Box<ArgumentExpression>, Box<ArgumentExpression>, Box<ArgumentExpression>),
    Table(SetReduceOperator, usize, usize, Vec<ArgumentExpression>),
}

Expression performing a reduce operation on a tables of sets.

Variants

Constant(Set)

Constant.

Table1D(SetReduceOperator, usize, usize, Box<ArgumentExpression>)

Reduce operation over a 1D table.

Table2D(SetReduceOperator, usize, usize, Box<ArgumentExpression>, Box<ArgumentExpression>)

Reduce operation over a 2D table.

Table3D(SetReduceOperator, usize, usize, Box<ArgumentExpression>, Box<ArgumentExpression>, Box<ArgumentExpression>)

Reduce operation over a 3D table.

Table(SetReduceOperator, usize, usize, Vec<ArgumentExpression>)

Reduce operation over a table.

Implementations

impl SetReduceExpression

pub fn eval<U: StateInterface>( &self, state: &U, function_cache: &mut StateFunctionCache, state_functions: &StateFunctions, registry: &TableRegistry, ) -> Set

Returns the evaluation result.

Panics

Panics if the cost of the transitioned state is used or an empty set or vector is passed to a reduce operation or a min/max reduce operation is performed on an empty set or vector.

pub fn simplify(&self, registry: &TableRegistry) -> Self

Returns a simplified version by precomputation.

Panics

Panics if a min/max reduce operation is performed on an empty set or vector.

Trait Implementations

impl CheckExpression<SetReduceExpression> for Model

fn check_expression( &self, expression: &SetReduceExpression, allow_cost: bool, ) -> Result<(), ModelErr>

Checks if an expression is valid.

impl Clone for SetReduceExpression

fn clone(&self) -> SetReduceExpression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SetReduceExpression

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

Formats the value using the given formatter.

impl PartialEq for SetReduceExpression

fn eq(&self, other: &SetReduceExpression) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SetReduceExpression