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

author	Gereon Kremer <nafur42@gmail.com>
	Thu, 28 Oct 2021 10:07:59 +0000 (03:07 -0700)
committer	GitHub <noreply@github.com>
	Thu, 28 Oct 2021 10:07:59 +0000 (10:07 +0000)
commit	46f5a39730ebd42421963c23de81a75652fb6629
tree	8d69d563d7fb8f024b794fa5dc456080760c4bf9	tree
parent	c30a8af3a0aeca118deb0491044cfa0678da3b94	commit \| diff

Remove separate cpp docs for UnknownExplanation (#7516)

This removes the separate documentation for the `UnknownExplanation` enum, as it is already included in the documentation of the `Result` class.

docs/api/cpp/cpp.rst		diff \| blob \| history
docs/api/cpp/unknownexplanation.rst	[deleted file]	blob \| history
docs/api/python/unknownexplanation.rst		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history

RSS Atom