Home
last modified time | relevance | path

Searched refs:notk (Results 1 – 25 of 40) sorted by relevance

12

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dextended_rewrite.h138 Kind andk, Kind ork, Kind notk, std::map<Kind, bool>& bcp_kinds, Node n);
147 Node extendedRewriteFactoring(Kind andk, Kind ork, Kind notk, Node n);
164 Kind notk,
179 Kind eqk, Kind andk, Kind ork, Kind notk, Node n, bool isXor = false);
H A Dextended_rewrite.cpp754 bool pol = cnk != notk; in extendedRewriteBcp()
755 Node cln = cnk == notk ? cn[0] : cn; in extendedRewriteBcp()
756 Assert(cln.getKind() != notk); in extendedRewriteBcp()
812 bool cpol = c.getKind() != notk; in extendedRewriteBcp()
813 Node ca = c.getKind() == notk ? c[0] : c; in extendedRewriteBcp()
1001 if (lit[1].getKind() == notk && lit[0].getKind() != notk) in extendedRewriteEqRes()
1167 if (a.getKind() == notk) in extendedRewriteEqChain()
1217 bool pol = cl.getKind() != notk; in extendedRewriteEqChain()
1267 bool pol = ck != notk; in extendedRewriteEqChain()
1372 remn = TermUtil::mkNegate(notk, remn); in extendedRewriteEqChain()
[all …]
H A Dterm_util.cpp643 Node TermUtil::mkNegate(Kind notk, Node n) in mkNegate() argument
645 if (n.getKind() == notk) in mkNegate()
649 return NodeManager::currentNM()->mkNode(notk, n); in mkNegate()
H A Dterm_util.h272 static Node mkNegate(Kind notk, Node n);
/dports/science/jstrack/jstrack/
H A Dautoconfig.tcl11 set notk 1
27 set notk 0
258 if {$notk == 0} {
/dports/net/multicat/multicat-2.3/
H A DAUTHORS11 E: bencoh AT notk DOT org
/dports/mail/ezmlm-idx/ezmlm-idx-7.2.2/lang/pl/text/
H A Dbottom14 Wy�lij list pod nast�puj�ce adresy, je�li chcesz uzyka� kr�tk� notk�
/dports/editors/vim/vim-8.2.3745/runtime/spell/nl/
H A Dnl_NL.diff163 - REP notk n.o.t.k.
/dports/textproc/ripgrep-all/ripgrep-all-0.9.6/cargo-crates/lzma-sys-0.1.16/xz-5.2/po/
H A Dfr.po3 # Adrien Nader <adrien@notk.org>, 2011-2014.
11 "Last-Translator: Adrien Nader <adrien@notk.org>\n"
881 "Signaler les bogues de traduction à <adrien@notk.org>.\n"
/dports/lang/rust/rustc-1.58.1-src/vendor/lzma-sys/xz-5.2/po/
H A Dfr.po3 # Adrien Nader <adrien@notk.org>, 2011-2014.
11 "Last-Translator: Adrien Nader <adrien@notk.org>\n"
881 "Signaler les bogues de traduction à <adrien@notk.org>.\n"
/dports/emulators/dolphin-emu/dolphin-3152428/Externals/liblzma/
H A DChangeLog1462 Author: Adrien Nader <adrien@notk.org>
1471 Author: Adrien Nader <adrien@notk.org>
1573 Author: Adrien Nader <adrien@notk.org>
1582 Author: Adrien Nader <adrien@notk.org>
1591 Author: Adrien Nader <adrien@notk.org>
1600 Author: Adrien Nader <adrien@notk.org>
1611 Author: Adrien Nader <adrien@notk.org>
1620 Author: Adrien Nader <adrien@notk.org>
1641 Author: Adrien Nader <adrien@notk.org>
1653 Author: Adrien Nader <adrien@notk.org>
[all …]
/dports/multimedia/kodi/xbmc-19.3-Matrix/addons/skin.estuary/language/resource.language.pl_pl/
H A Dstrings.po405 msgstr "Naciśnij Góra, aby zobaczyć notkę o aktorze"
/dports/devel/tcllib/tcllib-1.20/modules/bench/
H A DChangeLog528 * runbench.tcl: added -match, -notcl, -notk options, restructured
/dports/devel/tcllibc/tcllib-1.20/modules/bench/
H A DChangeLog528 * runbench.tcl: added -match, -notcl, -notk options, restructured
/dports/www/elinks/elinks-0.11.7/po/
H A Dis.po3050 msgstr "S�na notk~unarkort"
3059 msgstr "S�na notk~unarkort"
3811 msgstr "S�na notk~unarkort"
3853 msgstr "S�na notk~unarkort"
3862 msgstr "S�na notk~unarkort"
5415 msgstr "S�na notk~unarkort"
7764 msgstr "S�na notk~unarkort"
/dports/deskutils/osmo/osmo-0.4.4/po/
H A Dpl.po1990 msgstr "usuń notkę"
/dports/security/arti/arti-9d0ede26801cdb182daa85c3eb5f0058dc178eb6/cargo-crates/lzma-sys-0.1.17/xz-5.2/po/
H A Dfr.po3 # Adrien Nader <adrien@notk.org>, 2011-2014.
/dports/textproc/mdbook-linkcheck/mdbook-linkcheck-0.7.6/cargo-crates/lzma-sys-0.1.17/xz-5.2/po/
H A Dfr.po3 # Adrien Nader <adrien@notk.org>, 2011-2014.
/dports/www/dooble/dooble-2021.12.05/Dictionaries/nl_NL/
H A Dnl_NL.aff461 REP notk n.o.t.k.
/dports/editors/texmaker/texmaker-5.0.3/dictionaries/
H A Dnl_NL.aff461 REP notk n.o.t.k.
/dports/editors/texstudio/texstudio-4.1.2/utilities/dictionaries/
H A Dnl_NL-Dutch.aff560 REP ^notk$ n.o.t.k.
/dports/textproc/nl-hunspell/nl-hunspell-2.10/
H A Dnl_NL.aff560 REP ^notk$ n.o.t.k.
/dports/textproc/py-pyphen/Pyphen-0.10.0/pyphen/dictionaries/
H A Dhyph_is.dic4606 3notk
/dports/www/drupal9/drupal-9.2.10/vendor/laminas/laminas-diactoros/
H A Dcomposer.lock1513 "email": "stof@notk.org"
/dports/www/moodle310/moodle/
H A Dcomposer.lock326 "email": "stof@notk.org"

12