proof_of_sql/sql/proof_exprs/
mod.rs

1//! This module proves provable expressions.
2mod proof_expr;
3pub(crate) use proof_expr::DecimalProofExpr;
4pub use proof_expr::ProofExpr;
5#[cfg(all(test, feature = "blitzar"))]
6mod proof_expr_test;
7
8mod aliased_dyn_proof_expr;
9pub use aliased_dyn_proof_expr::AliasedDynProofExpr;
10
11mod add_expr;
12pub(crate) use add_expr::AddExpr;
13mod subtract_expr;
14pub(crate) use subtract_expr::SubtractExpr;
15#[cfg(all(test, feature = "blitzar"))]
16mod add_subtract_expr_test;
17
18mod multiply_expr;
19pub(crate) use 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 placeholder_expr;
32pub(crate) use placeholder_expr::PlaceholderExpr;
33#[cfg(all(test, feature = "blitzar"))]
34mod placeholder_expr_test;
35
36mod and_expr;
37pub(crate) use and_expr::AndExpr;
38#[cfg(all(test, feature = "blitzar"))]
39mod and_expr_test;
40
41mod inequality_expr;
42pub(crate) use inequality_expr::InequalityExpr;
43#[cfg(all(test, feature = "blitzar"))]
44mod inequality_expr_test;
45
46mod or_expr;
47pub(crate) use or_expr::OrExpr;
48#[cfg(all(test, feature = "blitzar"))]
49mod or_expr_test;
50
51mod not_expr;
52pub(crate) use not_expr::NotExpr;
53#[cfg(all(test, feature = "blitzar"))]
54mod not_expr_test;
55
56mod numerical_util;
57pub(crate) use numerical_util::{add_subtract_columns, multiply_columns};
58#[cfg(test)]
59pub(crate) use numerical_util::{divide_columns, modulo_columns};
60
61mod equals_expr;
62pub(crate) use equals_expr::EqualsExpr;
63#[cfg(all(test, feature = "blitzar"))]
64mod equals_expr_test;
65
66mod table_expr;
67pub use table_expr::TableExpr;
68
69#[cfg(test)]
70pub(crate) mod test_utility;
71
72mod column_expr;
73pub use column_expr::ColumnExpr;
74#[cfg(all(test, feature = "blitzar"))]
75mod column_expr_test;
76
77mod cast_expr;
78pub(crate) use cast_expr::CastExpr;
79#[cfg(all(test, feature = "blitzar"))]
80mod cast_expr_test;
81
82mod scaling_cast_expr;
83pub(crate) use scaling_cast_expr::ScalingCastExpr;
84#[cfg(all(test, feature = "blitzar"))]
85mod scaling_cast_expr_test;