| /dports/math/spot/spot-2.10.2/tests/core/ |
| H A D | minterm.cc | 44 for (auto minterm: minterms_of(fun, var)) in main() local
57 for (auto minterm: minterms_of(fun, var)) in main() local
70 for (auto minterm: minterms_of(fun, var)) in main() local
83 for (auto minterm: minterms_of(fun, var)) in main() local
96 for (auto minterm: minterms_of(fun, var)) in main() local
109 for (auto minterm: minterms_of(fun, var)) in main() local
123 for (auto minterm: minterms_of(fun, var)) in main() local
137 for (auto minterm: minterms_of(fun, var)) in main() local
150 for (auto minterm: minterms_of(fun, var)) in main() local
164 for (auto minterm: minterms_of(fun, var)) in main() local
|
| /dports/math/py-spot/spot-2.10.2/tests/core/ |
| H A D | minterm.cc | 44 for (auto minterm: minterms_of(fun, var)) in main() local
57 for (auto minterm: minterms_of(fun, var)) in main() local
70 for (auto minterm: minterms_of(fun, var)) in main() local
83 for (auto minterm: minterms_of(fun, var)) in main() local
96 for (auto minterm: minterms_of(fun, var)) in main() local
109 for (auto minterm: minterms_of(fun, var)) in main() local
123 for (auto minterm: minterms_of(fun, var)) in main() local
137 for (auto minterm: minterms_of(fun, var)) in main() local
150 for (auto minterm: minterms_of(fun, var)) in main() local
164 for (auto minterm: minterms_of(fun, var)) in main() local
|
| /dports/security/keybase/client-v5.7.1/go/minterm/ |
| H A D | minterm_nix.go | 6 package minterm package
|
| H A D | minterm_windows.go | 6 package minterm package
|
| H A D | minterm.go | 5 package minterm package
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | split.cc | 67 for (bdd minterm: minterms_of(cond, all)) in split_edges() local
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | split.cc | 67 for (bdd minterm: minterms_of(cond, all)) in split_edges() local
|
| /dports/games/libretro-uae/libretro-uae-8333daa/sources/src/ |
| H A D | genblitter.c | 25 int minterm; in generate_include() local
|
| H A D | gengenblitter.c | 348 static unsigned int generate_expr (int minterm) in generate_expr()
414 int minterm; in generate_optable() local
435 int minterm; in main() local
|
| /dports/emulators/fs-uae/fs-uae-3.1.35/src/ |
| H A D | genblitter.cpp | 25 int minterm; in generate_include() local
|
| /dports/emulators/uae/uae-0.8.29/src/ |
| H A D | genblitter.c | 25 int minterm; in generate_include() local
|
| H A D | gengenblitter.c | 352 static unsigned int generate_expr (int minterm) in generate_expr()
418 int minterm; in generate_optable() local
439 int minterm; in main() local
|
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/logic/ |
| H A D | boolalg.py | 1279 def _convert_to_varsSOP(minterm, variables): argument
1331 def _compare_term(minterm, term): argument
|
| /dports/www/netsurf/netsurf-3.10/frontends/amiga/ |
| H A D | plotters.c | 483 ULONG tag, tag_data, minterm = 0xc0; in ami_bitmap() local
550 ULONG tag, tag_data, minterm = 0xc0; in HOOKF() local
|
| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddPriority.c | 1317 int *minterm /* reference minterm */, in Cudd_MinHammingDist()
1856 int *minterm, in cuddMinHammingDistRecur()
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddPriority.c | 1274 int *minterm /**< reference minterm */, in Cudd_MinHammingDist()
1828 int *minterm, in cuddMinHammingDistRecur()
|
| H A D | testcudd.c | 998 int *minterm; in testHamming() local
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddPriority.c | 1317 int *minterm /* reference minterm */, in Cudd_MinHammingDist()
1856 int *minterm, in cuddMinHammingDistRecur()
|
| H A D | testcudd.c | 1038 int *minterm; in testHamming() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddPriority.c | 1321 int *minterm /* reference minterm */, in Cudd_MinHammingDist()
1860 int *minterm, in cuddMinHammingDistRecur()
|
| H A D | testcudd.c | 1023 int *minterm; in testHamming() local
|
| /dports/games/libretro-mame2003/mame2003-libretro-4358db4/src/drivers/ |
| H A D | wecleman.c | 465 int minterm = ( blitter_regs[0x0/2] & 0xFF00 ) >> 8; in WRITE16_HANDLER() local
|
| /dports/games/libretro-mame2003_plus/mame2003-plus-libretro-17e9889/src/drivers/ |
| H A D | wecleman.c | 465 int minterm = ( blitter_regs[0x0/2] & 0xFF00 ) >> 8; in WRITE16_HANDLER() local
|
| /dports/emulators/mess/mame-mame0226/src/mame/drivers/ |
| H A D | wecleman.cpp | 452 int minterm = ( m_blitter_regs[0x0/2] & 0xFF00 ) >> 8; in blitter_w() local
|
| /dports/emulators/mame/mame-mame0226/src/mame/drivers/ |
| H A D | wecleman.cpp | 452 int minterm = ( m_blitter_regs[0x0/2] & 0xFF00 ) >> 8; in blitter_w() local
|