rust_formal_verification/formulas/
mod.rs

1//! representation of boolean logic formulas.
2//!
3//! This module houses the most basic representation of formulas for the library.
4//! This includes how a literal is formed, how clauses and cubes are represented, and finally
5//! how a cnf is represented.
6
7// ************************************************************************************************
8// rust submodule declaration, they get searched in their respective file  names
9// ************************************************************************************************
10
11pub mod clause; // requires file in this directory with the name 'clause.rs'
12pub mod cnf; // requires file in this directory with the name 'cnf.rs'
13pub mod cube;
14pub mod literal; // requires file in this directory with the name 'literal.rs' // requires file in this directory with the name 'cube.rs'
15
16// ************************************************************************************************
17// re-exports of structs in these modules to simplify paths for other imports
18// ************************************************************************************************
19
20pub use clause::Clause;
21pub use cnf::CNF;
22pub use cube::Cube;
23pub use literal::Literal;