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 placeholder_expr;
29pub(crate) use placeholder_expr::PlaceholderExpr;
30#[cfg(all(test, feature = "blitzar"))]
31mod placeholder_expr_test;
32
33mod and_expr;
34pub(crate) use and_expr::AndExpr;
35#[cfg(all(test, feature = "blitzar"))]
36mod and_expr_test;
37
38mod inequality_expr;
39use inequality_expr::InequalityExpr;
40#[cfg(all(test, feature = "blitzar"))]
41mod inequality_expr_test;
42
43mod or_expr;
44use or_expr::OrExpr;
45#[cfg(all(test, feature = "blitzar"))]
46mod or_expr_test;
47
48mod not_expr;
49use not_expr::NotExpr;
50#[cfg(all(test, feature = "blitzar"))]
51mod not_expr_test;
52
53mod comparison_util;
54pub(crate) use comparison_util::scale_and_subtract;
55
56mod numerical_util;
57pub(crate) use numerical_util::{
58    add_subtract_columns, multiply_columns, scale_and_add_subtract_eval,
59};
60#[cfg(test)]
61pub(crate) use numerical_util::{divide_columns, modulo_columns};
62
63mod equals_expr;
64pub(crate) use equals_expr::EqualsExpr;
65#[cfg(all(test, feature = "blitzar"))]
66mod equals_expr_test;
67
68mod table_expr;
69pub use table_expr::TableExpr;
70
71#[cfg(test)]
72pub(crate) mod test_utility;
73
74mod column_expr;
75pub use column_expr::ColumnExpr;
76#[cfg(all(test, feature = "blitzar"))]
77mod column_expr_test;
78
79mod cast_expr;
80#[cfg(all(test, feature = "blitzar"))]
81mod cast_expr_test;