ExprContainer with value semantics - #592

Draft

Krzmbrzl wants to merge 53 commits into

ValeevGroup:masterfrom

Krzmbrzl:value-like-expr-container

Commits on Aug 20, 2026

Move ExprPtr related things to expr_ptr.cpp
Krzmbrzl
committed
98bb938
Also separate impl of Constant to dedicated file
Krzmbrzl
committed
788c8ba
Remove in-place arithmetic operators from Expr interface
Krzmbrzl
committed
516504d
Make certain Expr API functions pure virtual
Krzmbrzl
committed
7c0211d
Fix error message assembly
Krzmbrzl
committed
0f7724a
Clean up Variable impl
Krzmbrzl
committed
926eca9
Clean up Power impl
Krzmbrzl
committed
5279d12
Add declaration of specialization of NormalOperator::labels()
Krzmbrzl
committed
8e476fc
Remove outdated comments
Krzmbrzl
committed
873e0f1
Make Product::operator* non-virtual
Krzmbrzl
committed
0bb04be
Reset memoized hash after modification
Krzmbrzl
committed
06c0b93
Remove declaration of non-existent function
Krzmbrzl
committed
e37010c
Separate Product impl
Krzmbrzl
committed
6ac7b1a
Cleanly separate public and private interface
Krzmbrzl
committed
0fb64e5
Cleanly separate (N)CProduct impl
Krzmbrzl
committed
6e6b625
Move some headers to impl file
Krzmbrzl
committed
6120935
Remove redundant swap function
Krzmbrzl
committed
94b967e
Add missing header
Krzmbrzl
committed
1dd0734
Separate Sum impl
Krzmbrzl
committed
2d90288
Remove redundant headers
Krzmbrzl
committed
8f2f145
Add back missing header
Krzmbrzl
committed
92c8eeb
Replace virtual clone with virtual unique_copy
Krzmbrzl
committed
92354e0
Add more arithmetic operators for Constants
Krzmbrzl
committed
4e150e4
Fix unused variable warning
Krzmbrzl
committed
0f5a767
Add and use Expr & overloads
Krzmbrzl
committed
09cace5
Deprecate {shared,weak}_from_this
Krzmbrzl
committed
93dda4a
Implement ExprContainer
Krzmbrzl
committed
d644b7a
Suppress deprecated warnings
Krzmbrzl
committed
08b1d51
Implement support for non-commuting product for ExprContainer
Krzmbrzl
committed
c5fcbbd
Allow unique_ptr to be moved out of ExprContainer
Krzmbrzl
committed
146f4d6
Add ExprContainer::operator* dereferencing to Expr &&
Krzmbrzl
committed
5496e24
Make ExprContainer iterable
Krzmbrzl
committed
4a651e7
Ensure specialized arithmetic operators only apply to ExprPtr ignoring any conversion
Krzmbrzl
committed
a1d0df0
Disambiguate arithmetic ops involving ExprContainer
Krzmbrzl
committed
30fed00
Enable conversions from ExprContainer to ExprPtr
Krzmbrzl
committed
22feea5
Fix deprecation warning in test_expr
Krzmbrzl
committed
6c2a524
Add ExprContainer to fwd declarations
Krzmbrzl
committed
a0c1701
Enable ExprPtr -> ExprContainer conversion
Krzmbrzl
committed
a65e1ba
Include supporting header
Krzmbrzl
committed
0b58236
Consistently use operator->
Krzmbrzl
committed
1abcf20
Add expr_holder concept
Krzmbrzl
committed
9a3bd74
Make ExprContainer comparable with ExprPtr
Krzmbrzl
committed
4bbeede
Add not-null assertion
Krzmbrzl
committed
de2ef0a
Switch Power to using ExprContainer
Krzmbrzl
committed
6f96a42
Get rid of unnecessary heap allocations
Krzmbrzl
committed
2d2a994
Use C++ templating facilities
Krzmbrzl
committed
7955bbd
Change Sum::filter to use predicate on cosnt Expr &
Krzmbrzl
committed
726ab37
Use Catch2 sections instead of comments
Krzmbrzl
committed
96d4c94
Add Expr::proportional_to(const Expr &, const Expr &) overload
Krzmbrzl
committed
aec0a07
Move begin/end impl to cpp file (and fix it)
Krzmbrzl
committed
07db221
Use fwd decl of Expr
Krzmbrzl
committed
52aede3
Define ExprContainerList
Krzmbrzl
committed
d5ecd7f
Add free-standing adjoint() overload for ExprContainer
Krzmbrzl
committed
09828aa