gollum-ir 0.4.0

Intermediate Representation for the Gollum language
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

//! Bidirectional PDDL ↔ Gollum IR conversion.
//!
//! Gated behind the `pddl` cargo feature.
//!
//! # PDDL → IR
//!
//! ```ignore
//! use gollum_pddl::{parse, PddlFile};
//! use gollum_ir::pddl::pddl_to_ir;
//!
//! let domain = parse(domain_src).unwrap();
//! let problem = parse(problem_src).unwrap();
//! // ... extract Domain and Problem, then:
//! let (program, initial_state, goals) = pddl_to_ir(&domain, &problem).unwrap();
//! ```
//!
//! # IR → PDDL
//!
//! ```ignore
//! use gollum_ir::pddl::ir_to_pddl;
//!
//! let (domain, problem) = ir_to_pddl(&program, &state, &goals, "my-domain", "my-problem").unwrap();
//! ```

pub mod error;
pub mod from_ir;
pub mod to_ir;

pub use error::PddlIrError;
pub use from_ir::{ir_to_domain, ir_to_pddl};
pub use to_ir::{domain_to_ir, pddl_to_ir};