Copilot 1ec30620ef Refactor optimization and model to use C++17 structured bindings for pairs (#8426) ... * Initial plan * Refactor pairs to use C++17 structured bindings in opt and model components Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>		2026-01-28 19:43:57 -08:00
..
array_factory.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
array_factory.h	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
char_factory.h	fix a few more warnings	2021-02-19 12:16:05 +00:00
CMakeLists.txt	Revert "Add finite_set_value_factory for creating finite set values in model …" (#7985)	2025-10-16 13:18:35 +02:00
datatype_factory.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
datatype_factory.h	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
fpa_factory.h	Fix unused parameter warnings in empty override functions by omitting parameter names (#8174)	2026-01-12 21:27:33 -08:00
func_interp.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
func_interp.h	#7861	2025-09-11 15:05:11 -07:00
model.cpp	Revert "Add finite_set_value_factory for creating finite set values in model …" (#7985)	2025-10-16 13:18:35 +02:00
model.h	remove theory_str and classes that are only used by it	2025-08-07 21:05:12 -07:00
model2expr.cpp	call it data instead of c_ptr for approaching C++11 std::vector convention.	2021-04-13 18:17:35 -07:00
model2expr.h	booyah	2020-07-04 15:56:30 -07:00
model_core.cpp	Refactor optimization and model to use C++17 structured bindings for pairs (#8426)	2026-01-28 19:43:57 -08:00
model_core.h	add missing lambda defs per #5509	2021-08-27 11:57:26 -07:00
model_evaluator.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
model_evaluator.h	remove theory_str and classes that are only used by it	2025-08-07 21:05:12 -07:00
model_evaluator_params.pyg	model evaluator: cleanup cache when model_eval param changes	2019-03-02 16:42:18 +00:00
model_implicant.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
model_implicant.h	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
model_macro_solver.cpp	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
model_macro_solver.h	Use = default for virtual constructors.	2022-08-05 18:11:46 +03:00
model_params.pyg	set default to true to avoid regression failures	2022-03-23 12:20:53 -07:00
model_pp.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
model_pp.h	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
model_smt2_pp.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
model_smt2_pp.h	booyah	2020-07-04 15:56:30 -07:00
model_v2_pp.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
model_v2_pp.h	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
numeral_factory.cpp	remove default destructors	2024-10-02 22:20:12 +01:00
numeral_factory.h	remove default destructors	2024-10-02 22:20:12 +01:00
seq_factory.h	remove symbol -> zstring -> symbol round-trips	2021-05-22 13:12:49 -07:00
struct_factory.cpp	refactor get_sort	2021-02-02 04:45:54 -08:00
struct_factory.h	booyah	2020-07-04 15:56:30 -07:00
value_factory.cpp	remove default destructors	2024-10-02 22:20:12 +01:00
value_factory.h	Fix unused parameter warnings in empty override functions by omitting parameter names (#8174)	2026-01-12 21:27:33 -08:00