delhi-lang 0.1.4

Surface language for delhi: parser, lowering, queries and diagnostics
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

//! The delhi surface language: lexer, parser, grounding, and lowering to `delhi-mb`.
#![deny(missing_docs)]

pub mod ask;
pub mod ast;
pub mod attitudes;
pub mod constants;
pub mod expand;
pub mod ground;
pub mod init_decl;
pub mod init_explicit;
pub mod lex;
pub mod lower_action;
pub mod lower_formula;
pub mod parse_expr;
pub mod parse_file;
pub mod print;
pub mod problem;
pub mod rules;
pub mod span;

pub use ask::{ask, modal_literals, Answer};
pub use ast::{Arg, Ast, Expr, Modal, Term};
pub use attitudes::{state_view, AgentView, StateView};
pub use constants::Constants;
pub use expand::{expand, expand_ast, Defs};
pub use ground::{atom_key, Sig};
pub use init_decl::build_declarative;
pub use init_explicit::build_explicit;
pub use lex::{lex, Tok, Token};
pub use lower_action::{ground_actions, Ctx, GroundAction};
pub use lower_formula::{lower_formula, Bindings};
pub use parse_expr::Parser;
pub use parse_file::parse_file;
pub use print::print_state;
pub use problem::{load, Problem};
pub use span::{Diagnostic, Diagnostics, Located, Span};