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_expr;
11pub(crate) use add_expr::AddExpr;
12mod subtract_expr;
13pub(crate) use subtract_expr::SubtractExpr;
14#[cfg(all(test, feature = "blitzar"))]
15mod add_subtract_expr_test;
16
17mod multiply_expr;
18use multiply_expr::MultiplyExpr;
19#[cfg(all(test, feature = "blitzar"))]
20mod multiply_expr_test;
21
22mod dyn_proof_expr;
23pub use dyn_proof_expr::DynProofExpr;
24
25mod literal_expr;
26pub(crate) use literal_expr::LiteralExpr;
27#[cfg(all(test, feature = "blitzar"))]
28mod literal_expr_test;
29
30mod placeholder_expr;
31pub(crate) use placeholder_expr::PlaceholderExpr;
32#[cfg(all(test, feature = "blitzar"))]
33mod placeholder_expr_test;
34
35mod and_expr;
36pub(crate) use and_expr::AndExpr;
37#[cfg(all(test, feature = "blitzar"))]
38mod and_expr_test;
39
40mod inequality_expr;
41use inequality_expr::InequalityExpr;
42#[cfg(all(test, feature = "blitzar"))]
43mod inequality_expr_test;
44
45mod or_expr;
46use or_expr::OrExpr;
47#[cfg(all(test, feature = "blitzar"))]
48mod or_expr_test;
49
50mod not_expr;
51use not_expr::NotExpr;
52#[cfg(all(test, feature = "blitzar"))]
53mod not_expr_test;
54
55mod comparison_util;
56pub(crate) use comparison_util::scale_and_subtract;
57
58mod numerical_util;
59pub(crate) use numerical_util::{
60    add_subtract_columns, multiply_columns, scale_and_add_subtract_eval,
61};
62#[cfg(test)]
63pub(crate) use numerical_util::{divide_columns, modulo_columns};
64
65mod equals_expr;
66pub(crate) use equals_expr::EqualsExpr;
67#[cfg(all(test, feature = "blitzar"))]
68mod equals_expr_test;
69
70mod table_expr;
71pub use table_expr::TableExpr;
72
73#[cfg(test)]
74pub(crate) mod test_utility;
75
76mod column_expr;
77pub use column_expr::ColumnExpr;
78#[cfg(all(test, feature = "blitzar"))]
79mod column_expr_test;
80
81mod cast_expr;
82pub(crate) use cast_expr::CastExpr;
83#[cfg(all(test, feature = "blitzar"))]
84mod cast_expr_test;
85
86mod decimal_scaling_cast_expr;
87pub(crate) use decimal_scaling_cast_expr::DecimalScalingCastExpr;
88#[cfg(all(test, feature = "blitzar"))]
89mod decimal_scaling_cast_expr_test;
proof_of_sql/sql/proof_exprs/mod.rs

proof_of_sql/sql/proof_exprs/
mod.rs
