Crate delhi_syntax 

The delhi query language: hash-consed formulas over L_GB.

Re-exports

pub use formula::AgentId;

pub use formula::AgentMask;

pub use formula::AtomId;

pub use formula::FormulaId;

pub use formula::Node;

pub use formula::Store;

pub use symbol::Interner;

Modules

formula

Hash-consed formulas. Identical subterms share a FormulaId, so structural equality is integer equality and entailment can memoise on (FormulaId, WorldId).

sugar

Derived attitudes (§8.4). Every one is a boolean combination of the six primitives, so delhi-mb never sees them.

symbol

Interning of agent and predicate names to dense u32 ids.