Enum dypdl::expression::IntegerExpression

pub enum IntegerExpression {
    Constant(Integer),
    Variable(usize),
    ResourceVariable(usize),
    Cost,
    UnaryOperation(UnaryOperator, Box<IntegerExpression>),
    BinaryOperation(BinaryOperator, Box<IntegerExpression>, Box<IntegerExpression>),
    Cardinality(SetExpression),
    Length(VectorExpression),
    Table(Box<NumericTableExpression<Integer>>),
    If(Box<Condition>, Box<IntegerExpression>, Box<IntegerExpression>),
    FromContinuous(CastOperator, Box<ContinuousExpression>),
    Last(Box<IntegerVectorExpression>),
    At(Box<IntegerVectorExpression>, ElementExpression),
    Reduce(ReduceOperator, Box<IntegerVectorExpression>),
}

Integer numeric expression.

Variants

Constant(Integer)

Constant.

Variable(usize)

Variable index.

ResourceVariable(usize)

Resource variable index.

Cost

The cost of the transitioned state.

UnaryOperation(UnaryOperator, Box<IntegerExpression>)

Unary arithmetic operation.

BinaryOperation(BinaryOperator, Box<IntegerExpression>, Box<IntegerExpression>)

Binary arithmetic operation.

Cardinality(SetExpression)

The cardinality of a set expression.

Length(VectorExpression)

The cardinality of a set expression.

Table(Box<NumericTableExpression<Integer>>)

A constant in an integer table.

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

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

FromContinuous(CastOperator, Box<ContinuousExpression>)

Conversion from a continuous expression.

Last(Box<IntegerVectorExpression>)

The last value in an integer vector.

At(Box<IntegerVectorExpression>, ElementExpression)

An item in an integer vector.

Reduce(ReduceOperator, Box<IntegerVectorExpression>)

Reduce operation on an integer vector expression.

Implementations

impl IntegerExpression

pub fn abs(self) -> IntegerExpression

Returns an expression representing the abstract value.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let expression = IntegerExpression::from(-1);
let expression = expression.abs();

assert_eq!(expression.eval(&state, &model.table_registry), 1);

impl IntegerExpression

pub fn floor<T>(x: T) -> IntegerExpressionwhere ContinuousExpression: From<T>,

Returns an integer expression by taking the floor of the continuous expression.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();

let expression = ContinuousExpression::from(1.5);
let expression = IntegerExpression::floor(expression);

assert_eq!(expression.eval(&state, &model.table_registry), 1);

pub fn ceil<T>(x: T) -> IntegerExpressionwhere ContinuousExpression: From<T>,

Returns an integer expression by taking the ceiling of the continuous expression.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();

let expression = ContinuousExpression::from(1.5);
let expression = IntegerExpression::ceil(expression);

assert_eq!(expression.eval(&state, &model.table_registry), 2);

pub fn round<T>(x: T) -> IntegerExpressionwhere ContinuousExpression: From<T>,

Returns an integer expression by rounding the continuous expression.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();

let expression = ContinuousExpression::from(1.5);
let expression = IntegerExpression::round(expression);

assert_eq!(expression.eval(&state, &model.table_registry), 2);

pub fn trunc<T>(x: T) -> IntegerExpressionwhere ContinuousExpression: From<T>,

Returns an integer expression by truncating the continuous expression.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();

let expression = ContinuousExpression::from(1.5);
let expression = IntegerExpression::trunc(expression);

assert_eq!(expression.eval(&state, &model.table_registry), 1);

impl IntegerExpression

pub fn eval<U: StateInterface>( &self, state: &U, registry: &TableRegistry ) -> Integer

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.

Examples

use dypdl::prelude::*;

let mut model = Model::default();
let variable = model.add_integer_variable("variable", 1).unwrap();
let state = model.target.clone();

let expression = IntegerExpression::from(variable);
assert_eq!(expression.eval(&state, &model.table_registry), 1);

pub fn eval_cost<U: StateInterface>( &self, cost: Integer, state: &U, registry: &TableRegistry ) -> Integer

Returns the evaluation result of a cost expression.

Panics

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

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();

let expression = IntegerExpression::Cost + 1;
assert_eq!(expression.eval_cost(1, &state, &model.table_registry), 2);

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

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 Add<ContinuousExpression> for IntegerExpression

fn add(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<ContinuousResourceVariable> for IntegerExpression

fn add(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<ContinuousVariable> for IntegerExpression

fn add(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for Continuous

fn add(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for ContinuousExpression

fn add(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for ContinuousResourceVariable

fn add(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for ContinuousVariable

fn add(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for Integer

fn add(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the addition.

type Output = IntegerExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for IntegerExpression

fn add(self, rhs: Self) -> Self::Output

Returns an expression representing the addition.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let a = IntegerExpression::from(2);
let b = IntegerExpression::from(3);
let expression = a + b;

assert_eq!(expression.eval(&state, &model.table_registry), 5);

type Output = IntegerExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for IntegerResourceVariable

fn add(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the addition.

type Output = IntegerExpression

The resulting type after applying the + operator.

impl Add<IntegerExpression> for IntegerVariable

fn add(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the addition.

type Output = IntegerExpression

The resulting type after applying the + operator.

impl Add<IntegerResourceVariable> for IntegerExpression

fn add(self, rhs: IntegerResourceVariable) -> IntegerExpression

Returns an expression representing the addition.

type Output = IntegerExpression

The resulting type after applying the + operator.

impl Add<IntegerVariable> for IntegerExpression

fn add(self, rhs: IntegerVariable) -> IntegerExpression

Returns an expression representing the addition.

type Output = IntegerExpression

The resulting type after applying the + operator.

impl Add<f64> for IntegerExpression

fn add(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the addition.

type Output = ContinuousExpression

The resulting type after applying the + operator.

impl Add<i32> for IntegerExpression

fn add(self, rhs: Integer) -> IntegerExpression

Returns an expression representing the addition.

type Output = IntegerExpression

The resulting type after applying the + operator.

impl AddDualBound<IntegerExpression> for Model

fn add_dual_bound(&mut self, bound: IntegerExpression) -> Result<(), ModelErr>

Adds a dual bound.

Errors

If the expression is invalid, e.g., it uses not existing variables or the state of the transitioned state.

Examples

use dypdl::prelude::*;

let mut model = Model::default();

assert!(model.add_dual_bound(IntegerExpression::from(0)).is_ok());

impl AddEffect<IntegerResourceVariable, IntegerExpression> for Transition

fn add_effect<V>( &mut self, v: IntegerResourceVariable, expression: V ) -> Result<(), ModelErr>where IntegerExpression: From<V>,

Adds an effect.

impl AddEffect<IntegerVariable, IntegerExpression> for Transition

fn add_effect<V>( &mut self, v: IntegerVariable, expression: V ) -> Result<(), ModelErr>where IntegerExpression: From<V>,

Adds an effect.

impl CheckExpression<IntegerExpression> for Model

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

Checks if an expression is valid.

impl Clone for IntegerExpression

fn clone(&self) -> IntegerExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ContinuousBinaryOperation<ContinuousExpression> for IntegerExpression

type Output = ContinuousExpression

fn pow(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the logarithm.

impl ContinuousBinaryOperation<ContinuousResourceVariable> for IntegerExpression

type Output = ContinuousExpression

fn pow(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the logarithm.

impl ContinuousBinaryOperation<ContinuousVariable> for IntegerExpression

type Output = ContinuousExpression

fn pow(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the logarithm.

impl ContinuousBinaryOperation<IntegerExpression> for Continuous

type Output = ContinuousExpression

fn pow(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the logarithm.

impl ContinuousBinaryOperation<IntegerExpression> for ContinuousExpression

type Output = ContinuousExpression

fn pow(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the logarithm.

impl ContinuousBinaryOperation<IntegerExpression> for ContinuousResourceVariable

type Output = ContinuousExpression

fn pow(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the logarithm.

impl ContinuousBinaryOperation<IntegerExpression> for ContinuousVariable

type Output = ContinuousExpression

fn pow(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the logarithm.

impl ContinuousBinaryOperation<f64> for IntegerExpression

type Output = ContinuousExpression

fn pow(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the power.

fn log(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the logarithm.

impl Debug for IntegerExpression

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

Formats the value using the given formatter.

impl Default for IntegerExpression

fn default() -> Self

Returns an expression representing a constant zero.

impl Div<ContinuousExpression> for IntegerExpression

fn div(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<ContinuousResourceVariable> for IntegerExpression

fn div(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<ContinuousVariable> for IntegerExpression

fn div(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for Continuous

fn div(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for ContinuousExpression

fn div(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for ContinuousResourceVariable

fn div(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for ContinuousVariable

fn div(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for Integer

fn div(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the division.

type Output = IntegerExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for IntegerExpression

fn div(self, rhs: Self) -> Self::Output

Returns an expression representing the division.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let a = IntegerExpression::from(2);
let b = IntegerExpression::from(3);
let expression = a / b;

assert_eq!(expression.eval(&state, &model.table_registry), 0);

type Output = IntegerExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for IntegerResourceVariable

fn div(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the division.

type Output = IntegerExpression

The resulting type after applying the / operator.

impl Div<IntegerExpression> for IntegerVariable

fn div(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the division.

type Output = IntegerExpression

The resulting type after applying the / operator.

impl Div<IntegerResourceVariable> for IntegerExpression

fn div(self, rhs: IntegerResourceVariable) -> IntegerExpression

Returns an expression representing the division.

type Output = IntegerExpression

The resulting type after applying the / operator.

impl Div<IntegerVariable> for IntegerExpression

fn div(self, rhs: IntegerVariable) -> IntegerExpression

Returns an expression representing the division.

type Output = IntegerExpression

The resulting type after applying the / operator.

impl Div<f64> for IntegerExpression

fn div(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the division.

type Output = ContinuousExpression

The resulting type after applying the / operator.

impl Div<i32> for IntegerExpression

fn div(self, rhs: Integer) -> IntegerExpression

Returns an expression representing the division.

type Output = IntegerExpression

The resulting type after applying the / operator.

impl From<IntegerExpression> for ContinuousExpression

fn from(v: IntegerExpression) -> Self

Converts to this type from the input type.

impl From<IntegerExpression> for CostExpression

fn from(cost: IntegerExpression) -> Self

Converts to this type from the input type.

impl From<IntegerResourceVariable> for IntegerExpression

fn from(v: IntegerResourceVariable) -> Self

Returns an expression representing the resource variable.

impl From<IntegerVariable> for IntegerExpression

fn from(v: IntegerVariable) -> Self

Returns an expression representing the variable.

impl From<i32> for IntegerExpression

fn from(v: Integer) -> Self

Returns an expression representing the constant.

impl IfThenElse<IntegerExpression> for Condition

fn if_then_else<U, V>(self, lhs: U, rhs: V) -> IntegerExpressionwhere IntegerExpression: From<U> + From<V>,

Returns an if-then-else expression, which returns a if this condition holds and b otherwise.

impl MaxMin<ContinuousExpression> for IntegerExpression

type Output = ContinuousExpression

fn max(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<ContinuousResourceVariable> for IntegerExpression

type Output = ContinuousExpression

fn max(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<ContinuousVariable> for IntegerExpression

type Output = ContinuousExpression

fn max(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerExpression> for Continuous

type Output = ContinuousExpression

fn max(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerExpression> for ContinuousExpression

type Output = ContinuousExpression

fn max(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerExpression> for ContinuousResourceVariable

type Output = ContinuousExpression

fn max(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerExpression> for ContinuousVariable

type Output = ContinuousExpression

fn max(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerExpression> for Integer

type Output = IntegerExpression

fn max(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerExpression> for IntegerExpression

fn max(self, rhs: Self) -> Self::Output

Returns an expression representing the maximum.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let a = IntegerExpression::from(2);
let b = IntegerExpression::from(3);
let expression = a.max(b);

assert_eq!(expression.eval(&state, &model.table_registry), 3);

fn min(self, rhs: Self) -> Self::Output

Returns an expression representing the minimum.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let a = IntegerExpression::from(2);
let b = IntegerExpression::from(3);
let expression = a.min(b);

assert_eq!(expression.eval(&state, &model.table_registry), 2);

type Output = IntegerExpression

impl MaxMin<IntegerExpression> for IntegerResourceVariable

type Output = IntegerExpression

fn max(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerExpression> for IntegerVariable

type Output = IntegerExpression

fn max(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerResourceVariable> for IntegerExpression

type Output = IntegerExpression

fn max(self, rhs: IntegerResourceVariable) -> IntegerExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerResourceVariable) -> IntegerExpression

Returns an expression representing the minimum.

impl MaxMin<IntegerVariable> for IntegerExpression

type Output = IntegerExpression

fn max(self, rhs: IntegerVariable) -> IntegerExpression

Returns an expression representing the maximum.

fn min(self, rhs: IntegerVariable) -> IntegerExpression

Returns an expression representing the minimum.

impl MaxMin<f64> for IntegerExpression

type Output = ContinuousExpression

fn max(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the maximum.

fn min(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the minimum.

impl MaxMin<i32> for IntegerExpression

type Output = IntegerExpression

fn max(self, rhs: Integer) -> IntegerExpression

Returns an expression representing the maximum.

fn min(self, rhs: Integer) -> IntegerExpression

Returns an expression representing the minimum.

impl Mul<ContinuousExpression> for IntegerExpression

fn mul(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<ContinuousResourceVariable> for IntegerExpression

fn mul(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<ContinuousVariable> for IntegerExpression

fn mul(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for Continuous

fn mul(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for ContinuousExpression

fn mul(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for ContinuousResourceVariable

fn mul(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for ContinuousVariable

fn mul(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for Integer

fn mul(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the multiplication.

type Output = IntegerExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for IntegerExpression

fn mul(self, rhs: Self) -> Self::Output

Returns an expression representing the multiplication.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let a = IntegerExpression::from(2);
let b = IntegerExpression::from(3);
let expression = a * b;

assert_eq!(expression.eval(&state, &model.table_registry), 6);

type Output = IntegerExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for IntegerResourceVariable

fn mul(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the multiplication.

type Output = IntegerExpression

The resulting type after applying the * operator.

impl Mul<IntegerExpression> for IntegerVariable

fn mul(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the multiplication.

type Output = IntegerExpression

The resulting type after applying the * operator.

impl Mul<IntegerResourceVariable> for IntegerExpression

fn mul(self, rhs: IntegerResourceVariable) -> IntegerExpression

Returns an expression representing the multiplication.

type Output = IntegerExpression

The resulting type after applying the * operator.

impl Mul<IntegerVariable> for IntegerExpression

fn mul(self, rhs: IntegerVariable) -> IntegerExpression

Returns an expression representing the multiplication.

type Output = IntegerExpression

The resulting type after applying the * operator.

impl Mul<f64> for IntegerExpression

fn mul(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the multiplication.

type Output = ContinuousExpression

The resulting type after applying the * operator.

impl Mul<i32> for IntegerExpression

fn mul(self, rhs: Integer) -> IntegerExpression

Returns an expression representing the multiplication.

type Output = IntegerExpression

The resulting type after applying the * operator.

impl Neg for IntegerExpression

fn neg(self) -> Self::Output

Returns an expression representing the negative value.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let expression = IntegerExpression::from(1);
let expression = -expression;

assert_eq!(expression.eval(&state, &model.table_registry), -1);

type Output = IntegerExpression

The resulting type after applying the - operator.

impl PartialEq<IntegerExpression> for IntegerExpression

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Rem<ContinuousExpression> for IntegerExpression

fn rem(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<ContinuousResourceVariable> for IntegerExpression

fn rem(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<ContinuousVariable> for IntegerExpression

fn rem(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for Continuous

fn rem(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for ContinuousExpression

fn rem(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for ContinuousResourceVariable

fn rem(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for ContinuousVariable

fn rem(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for Integer

fn rem(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the remainder.

type Output = IntegerExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for IntegerExpression

fn rem(self, rhs: Self) -> Self::Output

Returns an expression representing the remainder.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let a = IntegerExpression::from(2);
let b = IntegerExpression::from(3);
let expression = a % b;

assert_eq!(expression.eval(&state, &model.table_registry), 2);

type Output = IntegerExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for IntegerResourceVariable

fn rem(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the remainder.

type Output = IntegerExpression

The resulting type after applying the % operator.

impl Rem<IntegerExpression> for IntegerVariable

fn rem(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the remainder.

type Output = IntegerExpression

The resulting type after applying the % operator.

impl Rem<IntegerResourceVariable> for IntegerExpression

fn rem(self, rhs: IntegerResourceVariable) -> IntegerExpression

Returns an expression representing the remainder.

type Output = IntegerExpression

The resulting type after applying the % operator.

impl Rem<IntegerVariable> for IntegerExpression

fn rem(self, rhs: IntegerVariable) -> IntegerExpression

Returns an expression representing the remainder.

type Output = IntegerExpression

The resulting type after applying the % operator.

impl Rem<f64> for IntegerExpression

fn rem(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the remainder.

type Output = ContinuousExpression

The resulting type after applying the % operator.

impl Rem<i32> for IntegerExpression

fn rem(self, rhs: Integer) -> IntegerExpression

Returns an expression representing the remainder.

type Output = IntegerExpression

The resulting type after applying the % operator.

impl Sub<ContinuousExpression> for IntegerExpression

fn sub(self, rhs: ContinuousExpression) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<ContinuousResourceVariable> for IntegerExpression

fn sub(self, rhs: ContinuousResourceVariable) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<ContinuousVariable> for IntegerExpression

fn sub(self, rhs: ContinuousVariable) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for Continuous

fn sub(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for ContinuousExpression

fn sub(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for ContinuousResourceVariable

fn sub(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for ContinuousVariable

fn sub(self, rhs: IntegerExpression) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for Integer

fn sub(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the subtraction.

type Output = IntegerExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for IntegerExpression

fn sub(self, rhs: Self) -> Self::Output

Returns an expression representing the subtraction.

Examples

use dypdl::prelude::*;

let model = Model::default();
let state = model.target.clone();
let a = IntegerExpression::from(2);
let b = IntegerExpression::from(3);
let expression = a - b;

assert_eq!(expression.eval(&state, &model.table_registry), -1);

type Output = IntegerExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for IntegerResourceVariable

fn sub(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the subtraction.

type Output = IntegerExpression

The resulting type after applying the - operator.

impl Sub<IntegerExpression> for IntegerVariable

fn sub(self, rhs: IntegerExpression) -> IntegerExpression

Returns an expression representing the subtraction.

type Output = IntegerExpression

The resulting type after applying the - operator.

impl Sub<IntegerResourceVariable> for IntegerExpression

fn sub(self, rhs: IntegerResourceVariable) -> IntegerExpression

Returns an expression representing the subtraction.

type Output = IntegerExpression

The resulting type after applying the - operator.

impl Sub<IntegerVariable> for IntegerExpression

fn sub(self, rhs: IntegerVariable) -> IntegerExpression

Returns an expression representing the subtraction.

type Output = IntegerExpression

The resulting type after applying the - operator.

impl Sub<f64> for IntegerExpression

fn sub(self, rhs: Continuous) -> ContinuousExpression

Returns an expression representing the subtraction.

type Output = ContinuousExpression

The resulting type after applying the - operator.

impl Sub<i32> for IntegerExpression

fn sub(self, rhs: Integer) -> IntegerExpression

Returns an expression representing the subtraction.

type Output = IntegerExpression

The resulting type after applying the - operator.

impl StructuralPartialEq for IntegerExpression