Crate gollum_ir 

gollum-ir — Intermediate Representation for the Gollum logic engine.

Re-exports

pub use action::ActionValidationError;

pub use action::IrAction;

pub use clause::IrClause;

pub use lower::lower;

pub use metadata::IrMetadata;

pub use program::IrProgram;

pub use query::IrQuery;

pub use state::IrState;

pub use term::IrTerm;

pub use timestamp::Interval;

pub use timestamp::Timestamp;

Modules

action

IR representation of planning actions.

clause

IR clause type.

lower

Lowering from gollum_ast to IR types.

metadata

Reasoning metadata for IR clauses and queries.

program

IR program type.

query

IR query type.

state

IR-level representation of planning and reasoning states.

term

IR-level term type.

timestamp

Timestamp and Interval types with native RON/serde support.

Structs

ModalAnnotation

A modal annotation attaching a modal operator and optional agent to a clause.

Enums

ModalCondition

Condition for modal frame matching.

ModalOperator

Modal operators for expressing necessity and possibility.