| /dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/ |
| H A D | theory_datatype_lazy.cpp | 288 const Expr& sigNew = thm.getRHS(); in update() local
289 if (sigNew == dsig) return; in update()
291 if (isSelector(sigNew) && canCollapse(sigNew)) { in update()
293 d_processQueue.push_back(transitivityRule(thm, d_rules->rewriteSelCons(d_facts, sigNew))); in update()
296 else if (isTester(sigNew) && isConstructor(sigNew[0])) { in update()
298 d_processQueue.push_back(transitivityRule(thm, d_rules->rewriteTestCons(sigNew))); in update()
302 const Theorem& repEQsigNew = sigNew.getRep(); in update()
311 if (sigNew[k] != dsig[k]) { in update()
312 sigNew[k].addToNotify(this, d); in update()
316 sigNew.setRep(thm); in update()
|
| H A D | theory_datatype.cpp | 391 const Expr& sigNew = thm.getRHS(); in update() local
392 if (sigNew == dsig) return; in update()
394 if (isSelector(sigNew) && canCollapse(sigNew)) { in update()
396 enqueueFact(transitivityRule(thm, d_rules->rewriteSelCons(d_facts, sigNew))); in update()
398 else if (isTester(sigNew) && isConstructor(sigNew[0])) { in update()
400 enqueueFact(transitivityRule(thm, d_rules->rewriteTestCons(sigNew))); in update()
403 const Theorem& repEQsigNew = sigNew.getRep(); in update()
411 if (sigNew[k] != dsig[k]) { in update()
412 sigNew[k].addToNotify(this, d); in update()
416 sigNew.setRep(thm); in update()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_array/ |
| H A D | theory_array.cpp | 613 sigNew.setRep(thm); in update()
625 Expr sigNew = thm.getRHS(); in update() local
628 Expr store = sigNew[0]; in update()
634 sigNew = thm.getRHS(); in update()
651 sigNew = thm.getRHS(); in update()
652 store = sigNew[0]; in update()
661 sigNew = thm.getRHS(); in update()
668 if (d == sigNew) { in update()
692 if (sigNew.hasFind()) { in update()
704 sigNew = thm.getRHS(); in update()
[all …]
|
| /dports/net-p2p/bitmark-recorder/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/txscript/ |
| H A D | sigcache_test.go | 92 msgNew, sigNew, keyNew, err := genRandomSig()
96 sigCache.Add(*msgNew, sigNew, keyNew)
105 sigNewCopy, _ := btcec.ParseSignature(sigNew.Serialize(), btcec.S256())
|
| /dports/net-p2p/bitmark/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/txscript/ |
| H A D | sigcache_test.go | 92 msgNew, sigNew, keyNew, err := genRandomSig()
96 sigCache.Add(*msgNew, sigNew, keyNew)
105 sigNewCopy, _ := btcec.ParseSignature(sigNew.Serialize(), btcec.S256())
|
| /dports/net-p2p/bitmark-cli/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/txscript/ |
| H A D | sigcache_test.go | 92 msgNew, sigNew, keyNew, err := genRandomSig()
96 sigCache.Add(*msgNew, sigNew, keyNew)
105 sigNewCopy, _ := btcec.ParseSignature(sigNew.Serialize(), btcec.S256())
|
| /dports/net-p2p/bitmark-daemon/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/txscript/ |
| H A D | sigcache_test.go | 92 msgNew, sigNew, keyNew, err := genRandomSig()
96 sigCache.Add(*msgNew, sigNew, keyNew)
105 sigNewCopy, _ := btcec.ParseSignature(sigNew.Serialize(), btcec.S256())
|
| /dports/net-im/dendrite/dendrite-0.5.1/vendor/github.com/btcsuite/btcd/txscript/ |
| H A D | sigcache_test.go | 92 msgNew, sigNew, keyNew, err := genRandomSig()
96 sigCache.Add(*msgNew, sigNew, keyNew)
105 sigNewCopy, _ := btcec.ParseSignature(sigNew.Serialize(), btcec.S256())
|
| /dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/btcsuite/btcd/txscript/ |
| H A D | sigcache_test.go | 92 msgNew, sigNew, keyNew, err := genRandomSig()
96 sigCache.Add(*msgNew, sigNew, keyNew)
105 sigNewCopy, _ := btcec.ParseSignature(sigNew.Serialize(), btcec.S256())
|
| /dports/audio/sayonara/sayonara-player-5bbf1399332d5d59362ad03bf625f9132be72206/src/Gui/Utils/MenuTool/ |
| H A D | MenuToolButton.cpp | 48 connect(m->menu, &ContextMenu::sigNew, this, &MenuToolButton::sigNew);
|
| H A D | MenuToolButton.h | 48 void sigNew();
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
| H A D | theory.cpp | 481 const Expr& sigNew = thm.getRHS(); in updateCC() local
482 if (sigNew == dsig) { in updateCC()
487 const Theorem& repEQsigNew = sigNew.getRep(); in updateCC()
498 if (sigNew[k] != dsig[k]) { in updateCC()
499 sigNew[k].addToNotify(this, d); in updateCC()
503 sigNew.setRep(thm); in updateCC()
|
| /dports/audio/sayonara/sayonara-player-5bbf1399332d5d59362ad03bf625f9132be72206/src/Gui/Utils/ContextMenu/ |
| H A D | ContextMenu.h | 69 void sigNew();
|
| H A D | ContextMenu.cpp | 100 connect(m->actionNew, &QAction::triggered, this, &ContextMenu::sigNew);
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_uf/ |
| H A D | theory_uf.cpp | 296 const Expr& sigNew = thm.getRHS(); in update() local
297 if (sigNew == dsig) { in update()
302 const Theorem& repEQsigNew = sigNew.getRep(); in update()
314 if (sigNew[k] != dsig[k]) { in update()
315 sigNew[k].addToNotify(this, d); in update()
319 sigNew.setRep(thm); in update()
320 if (dsig != sigNew && d.isApply() && findExpr(d).isTrue()) { in update()
|
| /dports/audio/sayonara/sayonara-player-5bbf1399332d5d59362ad03bf625f9132be72206/src/Gui/Plugins/Bookmarks/ |
| H A D | GUI_Bookmarks.cpp | 96 connect(ui->btn_tool, &Gui::MenuToolButton::sigNew, this, &GUI_Bookmarks::newClicked); in initUi()
|
| /dports/audio/sayonara/sayonara-player-5bbf1399332d5d59362ad03bf625f9132be72206/src/Gui/Plugins/Stream/ |
| H A D | AbstractStationPlugin.cpp | 110 connect(m->btnTool, &MenuToolButton::sigNew, this, &AbstractStationPlugin::newClicked); in initConnections()
|
| /dports/audio/sayonara/sayonara-player-5bbf1399332d5d59362ad03bf625f9132be72206/src/Gui/Library/ |
| H A D | GenreView.cpp | 439 connect(m->contextMenu, &ContextMenu::sigNew, this, &GenreView::newPressed); in initContextMenu()
|
| /dports/print/ghostscript7-x11/ghostscript-7.07/icclib/ |
| H A D | icc.h | 977 int (*rename_tag)(struct _icc *p, icTagSignature sig, icTagSignature sigNew);
|
| /dports/print/ghostscript8-x11/ghostscript-8.71/icclib/ |
| H A D | icc.h | 977 int (*rename_tag)(struct _icc *p, icTagSignature sig, icTagSignature sigNew);
|
| /dports/print/ghostscript9-x11/ghostscript-9.06/icclib/ |
| H A D | icc.h | 965 int (*rename_tag)(struct _icc *p, icTagSignature sig, icTagSignature sigNew);
|
| /dports/print/ghostscript9-base/ghostscript-9.06/icclib/ |
| H A D | icc.h | 965 int (*rename_tag)(struct _icc *p, icTagSignature sig, icTagSignature sigNew);
|
| /dports/print/ghostscript7-base/ghostscript-7.07/icclib/ |
| H A D | icc.h | 977 int (*rename_tag)(struct _icc *p, icTagSignature sig, icTagSignature sigNew);
|
| /dports/print/ghostscript8-base/ghostscript-8.71/icclib/ |
| H A D | icc.h | 977 int (*rename_tag)(struct _icc *p, icTagSignature sig, icTagSignature sigNew);
|
| /dports/graphics/argyllcms/Argyll_V1.9.2/icc/ |
| H A D | icc.h | 1495 int (*rename_tag)(struct _icc *p, icTagSignature sig, icTagSignature sigNew);
|