pddl 0.2.0

A PDDL 3.1 parser, strongly typed
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

//! Contains durative action goal definitions via the [`DurativeActionGoalDefinition`] type.

use crate::types::PreferenceTimedGoalDefinition;
use crate::types::TypedVariables;

/// A durative action goal definition.
///
/// ## Usage
/// Used by [`DurativeActionGoalDefinition`] itself, as well as [`DurativeActionDefinition`](crate::DurativeActionDefinition) and
/// [`DurativeActionEffect`](crate::DurativeActionEffect).
#[derive(Debug, Clone, PartialEq)]
pub enum DurativeActionGoalDefinition {
    Timed(PreferenceTimedGoalDefinition),
    And(Vec<DurativeActionGoalDefinition>),
    /// ## Requirements
    /// Requires [Universal Preconditions](crate::Requirement::UniversalPreconditions).
    Forall(TypedVariables, Box<DurativeActionGoalDefinition>),
}

impl DurativeActionGoalDefinition {
    #[doc(alias = "new_timed")]
    pub fn timed(pref: PreferenceTimedGoalDefinition) -> Self {
        Self::Timed(pref)
    }

    pub fn new_timed(pref: PreferenceTimedGoalDefinition) -> Self {
        Self::timed(pref)
    }

    #[doc(alias = "new_and")]
    pub fn and<I: IntoIterator<Item = DurativeActionGoalDefinition>>(prefs: I) -> Self {
        Self::And(prefs.into_iter().collect())
    }

    pub fn new_and<I: IntoIterator<Item = DurativeActionGoalDefinition>>(prefs: I) -> Self {
        Self::and(prefs)
    }

    #[doc(alias = "new_forall")]
    pub fn r#forall(variables: TypedVariables, gd: DurativeActionGoalDefinition) -> Self {
        Self::Forall(variables, Box::new(gd))
    }

    pub fn new_forall(variables: TypedVariables, gd: DurativeActionGoalDefinition) -> Self {
        Self::r#forall(variables, gd)
    }
}

impl From<PreferenceTimedGoalDefinition> for DurativeActionGoalDefinition {
    fn from(value: PreferenceTimedGoalDefinition) -> Self {
        DurativeActionGoalDefinition::timed(value)
    }
}