Enum VectorExpression 

pub enum VectorExpression {
    Reference(ReferenceExpression<Vector>),
    Indices(Box<VectorExpression>),
    Reverse(Box<VectorExpression>),
    Set(ElementExpression, Box<VectorExpression>, ElementExpression),
    Push(ElementExpression, Box<VectorExpression>),
    Pop(Box<VectorExpression>),
    FromSet(Box<SetExpression>),
    If(Box<Condition>, Box<VectorExpression>, Box<VectorExpression>),
}

Vector expression.

Variants

Reference(ReferenceExpression<Vector>)

Reference to a constant or a variable.

Indices(Box<VectorExpression>)

Indices of a vector.

Reverse(Box<VectorExpression>)

Reverse a vector.

Set(ElementExpression, Box<VectorExpression>, ElementExpression)

Set an element in a vector.

Push(ElementExpression, Box<VectorExpression>)

Push an element to a vector.

Pop(Box<VectorExpression>)

Pop an element from a vector.

FromSet(Box<SetExpression>)

Conversion from a set.

If(Box<Condition>, Box<VectorExpression>, Box<VectorExpression>)

If-then-else expression, which returns the first one if the condition holds and the second one otherwise.

Implementations

impl VectorExpression

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

Returns the evaluation result.

Panics

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

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

Returns a simplified version by precomputation.

Panics

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

Trait Implementations

impl AddEffect<VectorVariable, VectorExpression> for Transition

fn add_effect<V>( &mut self, v: VectorVariable, expression: V, ) -> Result<(), ModelErr>

where VectorExpression: From<V>,

Adds an effect.

impl CheckExpression<VectorExpression> for Model

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

Checks if an expression is valid.

impl Clone for VectorExpression

fn clone(&self) -> VectorExpression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VectorExpression

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

Formats the value using the given formatter.

impl From<VectorExpression> for ArgumentExpression

fn from(v: VectorExpression) -> ArgumentExpression

Converts to this type from the input type.

impl PartialEq for VectorExpression

fn eq(&self, other: &VectorExpression) -> 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 VectorExpression