conjure_core/representations/
mod.rs

1//! Representation rule library
2
3/// Prelude for representation rule writing.
4mod prelude {
5    #![allow(unused_imports)]
6    pub use crate::ast::{
7        AbstractLiteral, Atom, Declaration, Domain, Expression, Literal, Name, SymbolTable,
8    };
9    pub use crate::bug;
10    pub use crate::metadata::Metadata;
11    pub use crate::register_represention;
12    pub use crate::representation::Representation;
13    pub use crate::rule_engine::{
14        ApplicationError, ApplicationError::RuleNotApplicable, ApplicationResult,
15    };
16}
17
18mod matrix_to_atom;