Enum dypdl::CostExpression

pub enum CostExpression {
    Integer(IntegerExpression),
    Continuous(ContinuousExpression),
}

Wrapper for an integer expression or a continuous expression.

Variants

Integer(IntegerExpression)

Integer numeric expression.

Continuous(ContinuousExpression)

Continuous numeric expression.

Implementations

impl CostExpression

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

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("x", 2).unwrap();
let state = model.target.clone();

let expression = CostExpression::from(IntegerExpression::from(variable));
assert_eq!(expression.eval::<Integer, _>(&state, &model.table_registry), 2);

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

Returns the evaluation result.

Panics

Panics if 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("x", 2).unwrap();
let state = model.target.clone();

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

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

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 Clone for CostExpression

fn clone(&self) -> CostExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CostExpression

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

Formats the value using the given formatter.

impl Default for CostExpression

fn default() -> Self

Returns CostExpression::Integer(IntegerExpression::Cost).

impl From<ContinuousExpression> for CostExpression

fn from(cost: ContinuousExpression) -> Self

Converts to this type from the input type.

impl From<ContinuousResourceVariable> for CostExpression

fn from(cost: ContinuousResourceVariable) -> Self

Converts to this type from the input type.

impl From<ContinuousVariable> for CostExpression

fn from(cost: ContinuousVariable) -> Self

Converts to this type from the input type.

impl<T> From<T> for CostExpression

where IntegerExpression: From<T>,

fn from(cost: T) -> Self

Converts to this type from the input type.

impl From<f64> for CostExpression

fn from(cost: Continuous) -> Self

Converts to this type from the input type.

impl PartialEq for CostExpression

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