Struct dypdl::BaseCase

pub struct BaseCase {
    pub conditions: Vec<GroundedCondition>,
    pub cost: Option<CostExpression>,
}

Base case.

Fields

conditions: Vec<GroundedCondition>

cost: Option<CostExpression>

Implementations

impl BaseCase

pub fn with_cost<T>(conditions: Vec<GroundedCondition>, cost: T) -> Self

where CostExpression: From<T>,

Creates a new base case given conditions and a cost expression.

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

Returns true if the base case is satisfied and false otherwise.

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 eval_cost<S: StateInterface, T: Numeric>( &self, state: &S, registry: &TableRegistry, ) -> Option<T>

Returns the cost of the base case if it is satisfied and None otherwise.

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 BaseCase

fn clone(&self) -> BaseCase

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BaseCase

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

Formats the value using the given formatter.

impl Default for BaseCase

fn default() -> BaseCase

Returns the “default value” for a type.

impl From<BaseCase> for (Vec<Condition>, Option<CostExpression>)

fn from(base_case: BaseCase) -> Self

Converts to this type from the input type.

impl From<BaseCase> for Vec<Condition>

fn from(base_case: BaseCase) -> Self

Converts to this type from the input type.

impl From<Vec<GroundedCondition>> for BaseCase

fn from(conditions: Vec<GroundedCondition>) -> Self

Converts to this type from the input type.

impl PartialEq for BaseCase

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