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

author	Mathias Preiner <mathias.preiner@gmail.com>
	Fri, 1 Apr 2022 01:32:44 +0000 (18:32 -0700)
committer	GitHub <noreply@github.com>
	Fri, 1 Apr 2022 01:32:44 +0000 (01:32 +0000)
commit	8d7787f310e385056badf3580914195372ba87e4
tree	dd59f65ea43f1638955297c70acd5e2e8eba7d14	tree
parent	467c95cffba499ef9c1fd542c5f3bb87cd385c5e	commit \| diff

api: Swap arguments of declareSygusVar. (#8499)

Make it consistent with other declare*/define* functions.

16 files changed:

examples/api/cpp/sygus-fun.cpp		diff \| blob \| history
examples/api/cpp/sygus-grammar.cpp		diff \| blob \| history
examples/api/java/SygusFun.java		diff \| blob \| history
examples/api/java/SygusGrammar.java		diff \| blob \| history
examples/api/python/sygus-fun.py		diff \| blob \| history
examples/api/python/sygus-grammar.py		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/java/io/github/cvc5/Solver.java		diff \| blob \| history
src/api/java/jni/solver.cpp		diff \| blob \| history
src/api/python/cvc5.pxd		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history