Struct dypdl::GroundedCondition

pub struct GroundedCondition {
    pub elements_in_set_variable: Vec<(usize, usize)>,
    pub elements_in_vector_variable: Vec<(usize, usize, usize)>,
    pub condition: Condition,
}

Condition with element parameters.

Fields

elements_in_set_variable: Vec<(usize, usize)>

Pairs of an index of a set variable and a parameter. The condition is evaluated only when all parameters are included in the set variables. Otherwise, the condition is evaluated to true.

elements_in_vector_variable: Vec<(usize, usize, usize)>

Pairs of an index of a vector variable, a parameter, and the capacity. The condition is evaluated only when all parameters are included in the vector variables. Otherwise, the condition is evaluated to true.

condition: Condition

Condition.

Implementations

impl GroundedCondition

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

Returns true if the condition is satisfied and false if the condition is not satisfied.

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

fn clone(&self) -> GroundedCondition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GroundedCondition

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

Formats the value using the given formatter.

impl Default for GroundedCondition

fn default() -> GroundedCondition

Returns the “default value” for a type.

impl From<Condition> for GroundedCondition

fn from(condition: Condition) -> Self

Creates a grounded condition from a condition.

impl From<GroundedCondition> for Condition

fn from(grounded_condition: GroundedCondition) -> Self

Creates a condition from a grounded condition.

impl PartialEq for GroundedCondition

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