Home
last modified time | relevance | path

Searched refs:xorConst (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules_normalization.h1330 std::vector<BitVector> xorConst; in apply() local
1338 xorConst.push_back(true_count % 2 ? true_bv : false_bv); in apply()
1342 xorConst.push_back(false_bv); in apply()
1346 xorConst.push_back(constant); in apply()
1349 if (xorConst.size() > 0) in apply()
1351 BitVector result = xorConst[0]; in apply()
1352 for (unsigned i = 1; i < xorConst.size(); ++i) in apply()
1354 result = result ^ xorConst[i]; in apply()
/dports/devel/yaegi/yaegi-0.9.23/interp/
H A Dcfg.go33 aXor: xorConst,
H A Dop.go1468 func xorConst(n *node) { func
/dports/net/traefik/traefik-2.6.1/vendor/github.com/traefik/yaegi/interp/
H A Dcfg.go33 aXor: xorConst,
H A Dop.go1468 func xorConst(n *node) { func