projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36bf9f8) | patch
Document quant arith (#1271)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 28 Oct 2017 00:21:18 +0000 (19:21 -0500)
committerGitHub <noreply@github.com>
Sat, 28 Oct 2017 00:21:18 +0000 (19:21 -0500)
commit1fe3247a0bf4b806f99c161dcc9c6644aabb38c1
tree0922af2e81c62268ea4747e085dc2b57441f5edftree
parent36bf9f8bcb2a1a3aea1f90eb4d13aed3bbf6da8fcommit | diff
Document quant arith (#1271)

* Initial documentation, incomplete.

* Document arith utilities in quantifiers.

* Minor

* Clang format

* Minor

* Clang format.

* Minor

* Apply new clang format.

* Document ordering.
src/theory/quantifiers/quant_util.cpp diff | blob | history
src/theory/quantifiers/quant_util.h diff | blob | history