pddl 0.1.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

//! Provides structure definitions.

use crate::types::StructureDef;
use std::ops::Deref;

/// A set of structure definitions.
///
/// ## Usage
/// Used by [`Domain`](crate::Domain).
#[derive(Debug, Default, Clone, PartialEq)]
pub struct StructureDefs(Vec<StructureDef>);

impl StructureDefs {
    pub fn new<I: IntoIterator<Item = StructureDef>>(defs: I) -> Self {
        Self(defs.into_iter().collect())
    }

    /// Gets the values.
    pub fn values(&self) -> &[StructureDef] {
        self.0.as_slice()
    }
}

impl Deref for StructureDefs {
    type Target = [StructureDef];

    fn deref(&self) -> &Self::Target {
        &self.0
    }
}

impl From<Vec<StructureDef>> for StructureDefs {
    fn from(value: Vec<StructureDef>) -> Self {
        StructureDefs::new(value)
    }
}

impl FromIterator<StructureDef> for StructureDefs {
    fn from_iter<T: IntoIterator<Item = StructureDef>>(iter: T) -> Self {
        StructureDefs::new(iter)
    }
}