ntsis 1bcf293081 Add an encapsulation of the optimization query result (#12138) ...

Includes only the internal files and corresponding unit tests.

2025-09-30 18:53:16 +00:00

..

array_store_all_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

assert_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

binary_heap_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

bitvector_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

boolean_simplification_black.cpp

Update copyright headers, add missing header documentation. (#11990)

2025-06-18 19:41:07 +00:00

cardinality_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

check_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

CMakeLists.txt

Add an encapsulation of the optimization query result (#12138)

2025-09-30 18:53:16 +00:00

configuration_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

datatype_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

didyoumean_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

exception_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

floatingpoint_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

integer_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

integer_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

omt_result_white.cpp

Add an encapsulation of the optimization query result (#12138)

2025-09-30 18:53:16 +00:00

output_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

rational_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

rational_white.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

real_algebraic_number_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

stats_black.cpp

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00