Searched defs:notk (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | extended_rewrite.cpp | 713 Kind andk, Kind ork, Kind notk, std::map<Kind, bool>& bcp_kinds, Node ret) in extendedRewriteBcp() argument
886 Kind notk, in extendedRewriteFactoring()
977 Kind notk, in extendedRewriteEqRes()
1136 Kind eqk, Kind andk, Kind ork, Kind notk, Node ret, bool isXor) in extendedRewriteEqChain()
|
| H A D | term_util.cpp | 643 Node TermUtil::mkNegate(Kind notk, Node n) in mkNegate()
|