projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ae818d) | patch
Add simple type rule for real-or-int arguments (#8685)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 29 Apr 2022 20:49:21 +0000 (13:49 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 20:49:21 +0000 (20:49 +0000)
commit4ae38ac43e7218c28e4dd0bb20902b2ce4268dfc
treec784a389d59926900bfbd09f27e19464822f1e3ctree
parent7ae818d54bedc96b6fb0000fa17f41ee30f1f8a0commit | diff
Add simple type rule for real-or-int arguments (#8685)

This adds a simple type rule, ARealOrInteger, which checks whether the
argument of an operator is either a Real or and Int. Note that this
is currently equivalent to AReal, but the plan is to make AReal
strict in the future.
src/expr/type_checker_util.h diff | blob | history
src/theory/arith/kinds diff | blob | history