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

//! Contains function terms via the [`FunctionTerm`] type.

use crate::types::term::Term;
use crate::types::FunctionSymbol;

/// A function term.
///
/// ## Requirements
/// Requires [Object Fluents](crate::Requirement::ObjectFluents).
///
/// ## Usage
/// Used by [`Term`], and [`PEffect`](crate::PEffect).
#[derive(Debug, Clone, Eq, PartialEq)]
pub struct FunctionTerm(FunctionSymbol, Vec<Term>);

impl FunctionTerm {
    pub fn new<I: IntoIterator<Item = Term>>(symbol: FunctionSymbol, terms: I) -> Self {
        Self(symbol, terms.into_iter().collect())
    }

    /// Gets the function symbol.
    pub const fn symbol(&self) -> &FunctionSymbol {
        &self.0
    }

    /// Gets the function terms.
    pub fn terms(&self) -> &[Term] {
        self.1.as_ref()
    }
}

impl AsRef<FunctionSymbol> for FunctionTerm {
    fn as_ref(&self) -> &FunctionSymbol {
        &self.0
    }
}

impl AsRef<Vec<Term>> for FunctionTerm {
    fn as_ref(&self) -> &Vec<Term> {
        &self.1
    }
}