git.libre-soc.org Git - cvc5.git/commit

author	Gereon Kremer <nafur42@gmail.com>
	Wed, 2 Jun 2021 12:11:05 +0000 (14:11 +0200)
committer	GitHub <noreply@github.com>
	Wed, 2 Jun 2021 12:11:05 +0000 (12:11 +0000)
commit	6d359817283f196034d8e36d0b9c1f10fb16d644
tree	cb7d17927671a3b059575a86b55676eec922cef8	tree
parent	61b2694ac72d41aeff9c67e3631278e5a3bea5cb	commit \| diff

Move public wrapper functions out of options class (#6600)

This PR moves options wrapper functions out of the Options class. These wrapper functions are meant to be called by "external" code that should not access the options modules. This PR thereby significantly reduces the interface of the Options class.

23 files changed:

src/main/command_executor.cpp		diff \| blob \| history
src/main/driver_unified.cpp		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/time_limit.cpp		diff \| blob \| history
src/options/CMakeLists.txt		diff \| blob \| history
src/options/options_public.cpp	[new file with mode: 0644]	blob
src/options/options_public.h	[new file with mode: 0644]	blob
src/options/options_public_functions.cpp	[deleted file]	blob \| history
src/options/options_template.h		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser_builder.cpp		diff \| blob \| history
src/parser/parser_builder.h		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/tptp/tptp.cpp		diff \| blob \| history
src/smt/env.cpp		diff \| blob \| history
src/smt/output_manager.cpp		diff \| blob \| history
src/theory/quantifiers/expr_miner.cpp		diff \| blob \| history
src/theory/quantifiers/solution_filter.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/synth_conjecture.cpp		diff \| blob \| history
src/theory/quantifiers/sygus_sampler.cpp		diff \| blob \| history
src/theory/quantifiers_engine.cpp		diff \| blob \| history
test/api/smt2_compliance.cpp		diff \| blob \| history

RSS Atom