proof_of_sql/sql/proof_exprs/
mod.rs

1//! This module proves provable expressions.
2mod proof_expr;
3pub use proof_expr::ProofExpr;
4#[cfg(all(test, feature = "blitzar"))]
5mod proof_expr_test;
6
7mod aliased_dyn_proof_expr;
8pub use aliased_dyn_proof_expr::AliasedDynProofExpr;
9
10mod add_subtract_expr;
11pub(crate) use add_subtract_expr::AddSubtractExpr;
12#[cfg(all(test, feature = "blitzar"))]
13mod add_subtract_expr_test;
14
15mod multiply_expr;
16use multiply_expr::MultiplyExpr;
17#[cfg(all(test, feature = "blitzar"))]
18mod multiply_expr_test;
19
20mod dyn_proof_expr;
21pub use dyn_proof_expr::DynProofExpr;
22
23mod literal_expr;
24pub(crate) use literal_expr::LiteralExpr;
25#[cfg(all(test, feature = "blitzar"))]
26mod literal_expr_test;
27
28mod and_expr;
29pub(crate) use and_expr::AndExpr;
30#[cfg(all(test, feature = "blitzar"))]
31mod and_expr_test;
32
33mod inequality_expr;
34use inequality_expr::InequalityExpr;
35#[cfg(all(test, feature = "blitzar"))]
36mod inequality_expr_test;
37
38mod or_expr;
39use or_expr::OrExpr;
40#[cfg(all(test, feature = "blitzar"))]
41mod or_expr_test;
42
43mod not_expr;
44use not_expr::NotExpr;
45#[cfg(all(test, feature = "blitzar"))]
46mod not_expr_test;
47
48mod comparison_util;
49pub(crate) use comparison_util::scale_and_subtract;
50
51mod numerical_util;
52pub(crate) use numerical_util::{
53    add_subtract_columns, multiply_columns, scale_and_add_subtract_eval,
54};
55#[cfg(test)]
56pub(crate) use numerical_util::{divide_columns, modulo_columns};
57
58mod equals_expr;
59pub(crate) use equals_expr::EqualsExpr;
60#[cfg(all(test, feature = "blitzar"))]
61mod equals_expr_test;
62
63mod table_expr;
64pub use table_expr::TableExpr;
65
66#[cfg(test)]
67pub(crate) mod test_utility;
68
69mod column_expr;
70pub use column_expr::ColumnExpr;
71#[cfg(all(test, feature = "blitzar"))]
72mod column_expr_test;