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 aggregate_expr;
16pub(crate) use aggregate_expr::AggregateExpr;
17
18mod multiply_expr;
19use multiply_expr::MultiplyExpr;
20#[cfg(all(test, feature = "blitzar"))]
21mod multiply_expr_test;
22
23mod dyn_proof_expr;
24pub use dyn_proof_expr::DynProofExpr;
25
26mod literal_expr;
27pub(crate) use literal_expr::LiteralExpr;
28#[cfg(all(test, feature = "blitzar"))]
29mod literal_expr_test;
30
31mod and_expr;
32pub(crate) use and_expr::AndExpr;
33#[cfg(all(test, feature = "blitzar"))]
34mod and_expr_test;
35
36mod inequality_expr;
37use inequality_expr::InequalityExpr;
38#[cfg(all(test, feature = "blitzar"))]
39mod inequality_expr_test;
40
41mod or_expr;
42use or_expr::OrExpr;
43#[cfg(all(test, feature = "blitzar"))]
44mod or_expr_test;
45
46mod not_expr;
47use not_expr::NotExpr;
48#[cfg(all(test, feature = "blitzar"))]
49mod not_expr_test;
50
51mod comparison_util;
52pub(crate) use comparison_util::scale_and_subtract;
53
54mod numerical_util;
55pub(crate) use numerical_util::{
56    add_subtract_columns, multiply_columns, scale_and_add_subtract_eval,
57};
58
59mod equals_expr;
60pub(crate) use equals_expr::EqualsExpr;
61#[cfg(all(test, feature = "blitzar"))]
62mod equals_expr_test;
63
64mod table_expr;
65pub use table_expr::TableExpr;
66
67#[cfg(test)]
68pub(crate) mod test_utility;
69
70mod column_expr;
71pub(crate) use column_expr::ColumnExpr;
72#[cfg(all(test, feature = "blitzar"))]
73mod column_expr_test;