anthem-rs/src/lib.rs

#![feature(trait_alias)]
#![feature(vec_remove_item)]

mod ast;
pub mod commands;
pub mod error;
pub mod input;
pub mod output;
pub mod problem;
pub mod simplify;
pub mod translate;
mod utils;

pub use crate::ast::*;
pub use error::Error;
pub use problem::Problem;
pub(crate) use simplify::*;
pub(crate) use utils::*;
pub use utils::Domain;
Refactoring to drop Context type 2020-02-01 19:20:46 +01:00			`#![feature(trait_alias)]`
Support hiding auxiliary predicates 2020-05-13 07:41:01 +02:00			`#![feature(vec_remove_item)]`
Refactoring to drop Context type 2020-02-01 19:20:46 +01:00
Use custom foliage flavor With this patch, properties specific to variable, function, and predicate declarations are directly stored within those objects rather than external maps that need to be queried via traits. This greatly simplifies many parts of the logic. This is made possible by implementing a custom foliage flavor, which makes it possible to swap the built-in declaration types for extended versions of those types that fulfill certain requirements. 2020-05-22 02:25:00 +02:00			`mod ast;`
Work in progress 2020-05-05 19:40:57 +02:00			`pub mod commands;`
Translate body of rules for verifying properties 2020-01-31 17:19:44 +01:00			`pub mod error;`
Work in progress 2020-05-05 19:40:57 +02:00			`pub mod input;`
Add option for output format 2020-02-03 22:51:19 +01:00			`pub mod output;`
Work in progress 2020-05-05 19:40:57 +02:00			`pub mod problem;`
Start implementation of simplifications 2020-05-19 12:56:46 +02:00			`pub mod simplify;`
Work in progress 2020-01-24 13:32:43 +01:00			`pub mod translate;`
Restructure project 2020-02-04 16:45:06 +01:00			`mod utils;`
Work in progress 2020-01-24 13:32:43 +01:00
Use custom foliage flavor With this patch, properties specific to variable, function, and predicate declarations are directly stored within those objects rather than external maps that need to be queried via traits. This greatly simplifies many parts of the logic. This is made possible by implementing a custom foliage flavor, which makes it possible to swap the built-in declaration types for extended versions of those types that fulfill certain requirements. 2020-05-22 02:25:00 +02:00			`pub use crate::ast::*;`
Translate body of rules for verifying properties 2020-01-31 17:19:44 +01:00			`pub use error::Error;`
Work in progress 2020-05-05 19:40:57 +02:00			`pub use problem::Problem;`
Start implementation of simplifications 2020-05-19 12:56:46 +02:00			`pub(crate) use simplify::*;`
Restructure project 2020-02-04 16:45:06 +01:00			`pub(crate) use utils::*;`
Move InputConstantDeclarationDomains to problem module 2020-05-11 03:48:14 +02:00			`pub use utils::Domain;`